UB Paderborn / Katalog / Suche / in CDI

Stratified negation in temporal logic programming and the cycle-sum test

Theoretical computer science, 2001, Vol.254 (1), p.663-676

Rondogiannis, P.

2001

Volltextzugriff (PDF)

Adding multidimensionality to procedural programming languages

Software, practice & experience, 1999-11, Vol.29 (13), p.1201-1221

Rondogiannis, P.

1999

Volltextzugriff (PDF)

A limit characterization for the number of spanning trees of graphs

Information processing letters, 2004-06, Vol.90 (6), p.307-313

2004

Volltextzugriff (PDF)

On the number of spanning trees of multi-star related graphs

Information processing letters, 1998-02, Vol.65 (4), p.183-188

1998

Volltextzugriff (PDF)

Temporal stratification tests for linear and branching-time deductive databases

Theoretical computer science, 2005-09, Vol.342 (2), p.382-415

2005

Volltextzugriff (PDF)

Petri-net-based deadlock analysis of Process Algebra programs

Science of computer programming, 1994, Vol.23 (1), p.55-89

1994

Volltextzugriff (PDF)

Multidimensional XML

Lecture notes in computer science, 2000, Vol.1830, p.100-109

2000

Volltextzugriff (PDF)

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs

Lecture notes in computer science, 2002, p.25-45

2002

Volltextzugriff (PDF)

An Infinite-Valued Semantics for Logic Programs with Negation

Lecture notes in computer science, 2002, p.456-468

2002

Volltextzugriff (PDF)

Higher-order functional languages and intensional logic

Journal of functional programming, 1999-09, Vol.9 (5), p.527-564

1999

Volltextzugriff (PDF)

The Branching-Time Transformation Technique for Chain Datalog Programs

Journal of intelligent information systems, 2001-11, Vol.17 (1), p.71

2001

Volltextzugriff (PDF)

Cactus: A branching-time logic programming language

Lecture notes in computer science, 1997, p.511-524

1997

Volltextzugriff (PDF)

First-order functional languages and intensional logic

Journal of functional programming, 1997-01, Vol.7 (1), p.73-101

1997

Volltextzugriff (PDF)

Temporal disjunctive logic programming

New generation computing, 2001-01, Vol.19 (1), p.87-100

2001

Volltextzugriff (PDF)

Branching-time logic programming: the language Cactus and its applications

Computer languages, 1998-10, Vol.24 (3), p.155-178

1998

Volltextzugriff (PDF)

Higher-order dataflow and its implementation on stock hardware

Proceedings of the 1994 ACM symposium on Applied computing, 1994, p.431-435

1994

Volltextzugriff (PDF)

Game Semantics for Non-monotonic Intensional Logic Programming

Logic Programming and Nonmonotonic Reasoning, p.329-341

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Stratified negation in temporal logic programming and the cycle-sum test

Adding multidimensionality to procedural programming languages

A limit characterization for the number of spanning trees of graphs

On the number of spanning trees of multi-star related graphs

Temporal stratification tests for linear and branching-time deductive databases

Petri-net-based deadlock analysis of Process Algebra programs

Multidimensional XML

A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs

An Infinite-Valued Semantics for Logic Programs with Negation

Higher-order functional languages and intensional logic

The Branching-Time Transformation Technique for Chain Datalog Programs

Cactus: A branching-time logic programming language

First-order functional languages and intensional logic

Temporal disjunctive logic programming

Branching-time logic programming: the language Cactus and its applications

Higher-order dataflow and its implementation on stock hardware

Game Semantics for Non-monotonic Intensional Logic Programming

Suchergebnisse filtern