Search results
From MaRDI portal
- Analysis for Logic Programs Using Mode and Type Information 2008-04-24 Paper Using Combined Static Analysis and Profiling for Logic Program Execution Time...10 bytes (15 words) - 14:55, 28 January 2024
- 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...10 bytes (16 words) - 03:58, 12 December 2023
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...10 bytes (13 words) - 07:46, 9 December 2023
- Publication Date of Publication Type Parallel Logic Programming: A Sequel 2023-12-12 Paper Modeling and Reasoning in Event Calculus...10 bytes (13 words) - 10:35, 5 September 2024
- Induction of Logic Programs Using a Deductive Database System 2007-11-15 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming...10 bytes (14 words) - 15:30, 6 October 2023
- non-oblivious machines 1981-01-01 Paper Parallel Prefix Computation 1980-01-01 Paper Propositional dynamic logic of regular programs 1979-01-01 Paper Relations Among...10 bytes (16 words) - 06:01, 7 October 2023
- 2022-09-30 Paper Computing abstract distances in logic programs 2022-08-25 Paper Incremental analysis of logic programs with assertions and open predicates 2022-08-25...10 bytes (15 words) - 16:22, 7 December 2023
- quantum programs 2022-04-29 Paper Robustness verification of quantum classifiers 2022-03-25 Paper A proof system for disjoint parallel quantum programs 2021-12-01...10 bytes (13 words) - 21:15, 8 December 2023
- and Logic Programming 2007-09-25 Paper Improving PARMA trailing 2007-02-13 Paper Logic Programming 2006-06-27 Paper Checking modes of HAL programs 2006-01-03...10 bytes (21 words) - 00:56, 10 December 2023
- Non-termination Checking for Imperative Programs 2008-04-24 Paper Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic 2007-10-31 Paper https://portal...10 bytes (13 words) - 07:09, 7 October 2023
- Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18...10 bytes (13 words) - 01:57, 10 December 2023
- of recursive probabilistic programs 2024-01-23 Paper Model checking temporal properties of recursive probabilistic programs 2024-01-16 Paper The probabilistic...10 bytes (17 words) - 01:51, 9 December 2023
- 2024-02-07 Paper Verification of logic programs with delay declarations 2022-08-16 Paper Proving termination of general Prolog programs 2022-08-16 Paper Coordination...10 bytes (17 words) - 00:04, 12 December 2023
- Implicit Equalities 1993-02-11 Paper Transforming normal logic programs to constraint logic programs 1993-01-16 Paper Projecting CLP(\({\mathcal R}\)) constraints...10 bytes (15 words) - 00:40, 10 December 2023
- Context-bounded analysis of concurrent programs (invited talk) 2024-11-14 Paper Checking refinement of asynchronous programs against context-free specifications...10 bytes (14 words) - 10:01, 6 October 2023
- Provenance calculus and possibilistic logic: a parallel and a discussion 2024-08-15 Paper First steps towards a logic of ordered pairs 2024-08-15 Paper Reasoning...10 bytes (14 words) - 13:42, 7 December 2023
- 2006-10-31 Paper Logic Programming 2006-06-27 Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Logic Programming 2005-08-26 Paper...10 bytes (15 words) - 20:35, 9 December 2023
- Paper Commonsense axiomatizations for logic programs 1994-01-13 Paper The alternating fixpoint of logic programs with negation 1993-10-10 Paper Octrees...10 bytes (15 words) - 14:54, 8 December 2023
- concurrent programs with dynamic creation of threads 2012-04-02 Paper ON YEN'S PATH LOGIC FOR PETRI NETS 2011-07-14 Paper Verifying parallel programs with dynamic...10 bytes (15 words) - 20:11, 6 October 2023
- verification of multi-threaded programs 2013-08-12 Paper Efficient parallel path checking for linear-time temporal logic with past and bounds 2013-01-07...10 bytes (13 words) - 03:52, 25 September 2023
