Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Rondogiannis, Panos - Department of Informatics and Telecommunications, University of Athens
J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
On the Number of Spanning Trees of MultiStar Related Graphs
Minimum Model Semantics for Logic Programs with Negation-as-Failure
Adding Multidimensionality to Procedural Programming P. Rondogiannis
Petri Net Based Deadlock Analysis of Process Algebra Programs
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Theoretical Computer Science ( ) Contents lists available at ScienceDirect
Stratified Negation in Temporal Logic Programming and the Cycle Sum Test
J. Functional Programming 1 (1): 1--000, January 1993 c # 1993 Cambridge University Press 1
Information and Computation 207 (2009)945967 Contents lists available at ScienceDirect
Fundamenta Informaticae 71 (2006) 143 1 A Value-propagating Transformation Technique for Datalog
Theoretical Computer Science 342 (2005) 382415 www.elsevier.com/locate/tcs
Information Processing Letters 90 (2004) 307313 www.elsevier.com/locate/ipl
Journal of Intelligent Information Systems, 17, 7194, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
