Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Rondogiannis, Panos"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A fixed point theorem for non-monotonic functions
Zoltán Ésik
,
Panos Rondogiannis
Theoretical Computer Science
574
, 2015, pp. 18-38
On the expressive power of univariate equations over sets of natural numbers
Alexander Okhotin
,
Panos Rondogiannis
Information and Computation
212
, 2012, pp. 1-14
A game-theoretic characterization of Boolean grammars
Vassilis Kountouriotis
,
Christos Nomikos
,
Panos Rondogiannis
Theoretical Computer Science
412
(12-14), 2011, pp. 1169-1183
Well-founded semantics for Boolean grammars
Vassilis Kountouriotis
,
Christos Nomikos
,
Panos Rondogiannis
Information and Computation
207
(9), 2009, pp. 945-967
Strong equivalence of logic programs under the infinite-valued semantics
Christos Nomikos
,
Panos Rondogiannis
,
William W. Wadge
Information Processing Letters
109
(11), 2009, pp. 576-581
Locally stratified Boolean grammars
Christos Nomikos
,
Panos Rondogiannis
Information and Computation
206
(9-10), 2008, pp. 1219-1233
Temporal stratification tests for linear and branching-time deductive databases
Christos Nomikos
,
Panos Rondogiannis
,
Manolis Gergatsoulis
Theoretical Computer Science
342
(2-3), 2005, pp. 382-415