Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Item Type
Advanced Search
Help
About DSpace
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Saved Searches
Favorites
Repository of UOI "Olympias"
Repository of OAI
Saved Searches
Save this search
Go!
Discover
Author
7
Nomikos, C.
2
Kountouriotis, V.
2
Nikolopoulos, S. D.
2
Wadge, W. W.
1
Gergatsoulis, M.
Subject
2
combinatorial problems
2
spanning trees
1
boolean grammars
1
complement spanning tree matrix t...
1
formal semantics
1
game semantics
1
graphs
1
interconnection networks
1
logic programs
1
multi-star graphs
.
next >
Item Type
8
journalArticle
Date
1
2010 - 2011
6
2000 - 2009
1
1998 - 1999
Search
Search:
All of DSpace
ΑΠΟΘΕΤΗΡΙΟ "ΟΛΥΜΠΙΑΣ"
Σχολή Θετικών Επιστημών
Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής
Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά)
Άρθρα σε επιστημονικά περιοδικά (Κλειστά)
Διατριβές Μεταπτυχιακής Έρευνας (Masters) - ΜΥ
Διδακτορικές Διατριβές
Μονογραφίες ( Ανοικτές)
Μονογραφίες ( Κλειστές)
Ομιλίες σε Συνέδριο
Σημειώσεις Μαθημάτων
Φοιτητικές Εργασίες
for
Search only items with full text availability
Current filters:
Title
Author
Subject
Date Issued
Item Type
Date
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Clear current filters
or
Add more filters
Title
Author
Subject
Date Issued
Item Type
Date
Has File(s)
???jsp.search.filter.original_bundle_filenames???
???jsp.search.filter.original_bundle_descriptions???
Equals
Contains
ID
Not Equals
Not Contains
Not ID
View Option
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-8 of 8 (Search time: 0.198 seconds).
previous
1
next
A game-theoretic characterization of Boolean grammars (Journal article)
Strong equivalence of logic programs under the infinite-valued semantics (Journal article)
On the number of spanning trees of multi-star related graphs (Journal article)
Locally stratified Boolean grammars (Journal article)
Temporal stratification tests for linear and branching-time deductive databases (Journal article)
A sufficient condition for strong equivalence under the well-founded semantics (Journal article)
Well-founded semantics for Boolean grammars (Journal article)
A limit characterization for the number of spanning trees of graphs (Journal article)