Search results
From MaRDI portal
- de/entity/Q3212265 1989-01-01 Paper OR-parallel PROLOG in flat concurrent PROLOG 1989-01-01 Paper Specialisation of Prolog and FCP programs using abstract interpretation...10 bytes (17 words) - 16:19, 6 October 2023
- self-balancing merge operators: Their specification and implementation in Concurrent Prolog 1984-01-01 Paper...10 bytes (16 words) - 15:10, 23 September 2023
- logic computer system 1986-01-01 Paper Bounded-wait merge in Shapiro's concurrent Prolog 1984-01-01 Paper...10 bytes (18 words) - 15:14, 23 September 2023
- Paper Comparative metric semantics for concurrent PROLOG 1990-01-01 Paper Contractions in comparing concurrency semantics 1990-01-01 Paper Denotational...10 bytes (19 words) - 15:07, 12 December 2023
- programming without logic 1991-01-01 Paper Comparative metric semantics for concurrent PROLOG 1990-01-01 Paper Editorial 1989-01-01 Paper Transition systems, metric...10 bytes (20 words) - 00:43, 13 December 2023
- preprocessed graphs 1990-01-01 Paper Implementing parallel algorithms in concurrent prolog: The Maxflow experience 1986-01-01 Paper...10 bytes (16 words) - 21:48, 10 December 2023
- 2000-03-19 Paper Towards a logical semantics for pure Prolog 2000-01-04 Paper A transformation system for concurrent processes 1999-04-26 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 00:46, 13 December 2023
- Unfolding and fixpoint semantics of concurrent constraint logic programs 2022-08-16 Paper Confluence in concurrent constraint programming 2022-08-16 Paper...10 bytes (16 words) - 01:57, 10 December 2023
- Publication Date of Publication Type Timed concurrent language for argumentation with maximum parallelism 2023-06-15 Paper The role of linearity in sharing...10 bytes (18 words) - 18:05, 11 December 2023
- interpretation of logic programs 1994-04-05 Paper Modelling Prolog Control 1994-03-27 Paper Specialisation of Prolog and FCP programs using abstract interpretation...10 bytes (16 words) - 11:27, 11 December 2023
- 2000-03-19 Paper Towards a logical semantics for pure Prolog 2000-01-04 Paper A transformation system for concurrent processes 1999-04-26 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 03:05, 7 October 2023
- interpretation of temporal concurrent constraint programs 2017-11-09 Paper Information leakage games 2017-10-27 Paper Slicing concurrent constraint programs 2017-10-13...10 bytes (17 words) - 04:31, 12 December 2023
- Publication Date of Publication Type Unfolding and fixpoint semantics of concurrent constraint logic programs 2022-08-16 Paper Assertion based Inductive Verification...10 bytes (17 words) - 05:01, 13 December 2023
- 2005-12-02 Paper Logic Programming 2005-08-26 Paper Diagnostic reasoning with A-Prolog 2004-08-19 Paper https://portal.mardi4nfdi.de/entity/Q4708959 2003-06-20...10 bytes (17 words) - 15:33, 8 December 2023
- of Publication Type Confluence in concurrent constraint programming 2022-08-16 Paper Efficient analysis of concurrent constraint logic programs 2019-03-29...10 bytes (17 words) - 16:21, 12 December 2023
- Closures and Modules Within Linear Logic Concurrent Constraint Programming 2008-04-24 Paper Modules for Prolog Revisited 2008-03-11 Paper Abstract Critical...10 bytes (16 words) - 00:59, 25 September 2023
- PERFORMANCE OF TABLE-DRIVEN DFA-BASED STRING PROCESSORS 2008-11-03 Paper A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM 2008-11-03 Paper...10 bytes (18 words) - 19:51, 11 December 2023
- first-order built-in's of Prolog 1994-07-04 Paper Programmverifikation 1994-05-16 Paper Reasoning about termination of pure Prolog programs 1993-12-12 Paper...10 bytes (19 words) - 00:04, 12 December 2023
- Algebraic computational models of OR-parallel execution of Prolog 1996-09-25 Paper Modelling Prolog Control 1994-03-27 Paper A bottom-up polymorphic type inference...10 bytes (16 words) - 12:30, 28 January 2024
- Publication Date of Publication Type Multi-threaded Communicating Agents in Qu-Prolog 2009-04-28 Paper Contract-Related Agents 2009-04-28 Paper Go! -- A multi-paradigm...10 bytes (19 words) - 03:49, 7 October 2023
