Stratified negation in temporal logic programming and the cycle-sum test von Rondogiannis, P.

Volltext

Adding multidimensionality to procedural programming languages von Rondogiannis, P.

Volltext

A limit characterization for the number of spanning trees of graphs von Nikolopoulos, S.D., Nomikos, C., Rondogiannis, P.

Volltext

On the number of spanning trees of multi-star related graphs von Nikolopoulos, S.D., Rondogiannis, P.

Volltext

Temporal stratification tests for linear and branching-time deductive databases von Nomikos, Christos, Rondogiannis, Panos, Gergatsoulis, Manolis

Volltext

A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics von Nomikos, Christos, Rondogiannis, Panos, Wadge, William W.

Volltext

Petri-net-based deadlock analysis of Process Algebra programs von Rondogiannis, P., Cheng, M.H.M.

Volltext

Cactus: A branching-time logic programming language von Rondogiannis, P., Gergatsoulis, M., Panayiotopoulos, T.

Volltext

Multidimensional XML von STAVRAKAS, Y, GERGATSOULIS, M, RONDOGIANNIS, P

Volltext

An Infinite-Valued Semantics for Logic Programs with Negation von Rondogiannis, Panos, Wadge, William W.

Volltext

Higher-order functional languages and intensional logic von RONDOGIANNIS, P., WADGE, W. W.

Volltext

The Branching-Time Transformation Technique for Chain Datalog Programs von Rondogiannis, Panos, Gergatsoulis, Manolis

Volltext

First-order functional languages and intensional logic von RONDOGIANNIS, P., WADGE, W. W.

Volltext

Temporal disjunctive logic programming von Gergatsoulis, Manolis, Rondogiannis, Panos, Panayiotopoulos, Themis

Volltext

Branching-time logic programming: the language Cactus and its applications von Rondogiannis, P., Gergatsoulis, M., Panayiotopoulos, T.

Volltext

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs von Potikas, Petros, Rondogiannis, Panos, Gergatsoulis, Manolis

Volltext

Extensional Higher-Order Logic Programming von Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, W. W

Volltext bestellen

Extensional Higher-Order Logic Programming von Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, W W

Volltext

Game Semantics for Non-monotonic Intensional Logic Programming von Galanaki, Chrysida, Nomikos, Christos, Rondogiannis, Panos

Volltext