Search results

2006-05-22 Paper A language and programming environment for high-performance parallel computing on heterogeneous networks 2004-02-08 Paper Parallel Computing on...

Inductive Logic Programming 2006-10-19 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper Euro-Par...

1995-06-27 Paper Parallel Factorization of Structured Matrices Arising in Stochastic Programming 1995-06-07 Paper Data-level parallel solution of min-cost...

preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms for...

2006-01-11 Paper Automata, Languages and Programming 2006-01-10 Paper Algorithms and Computation 2005-12-22 Paper Developments in Language Theory 2005-12-22 Paper...

pomset semantics for a shared-variable parallel language 2010-11-09 Paper A denotational semantical model for Orc language 2010-08-31 Paper Denotational Approach...

Paper Hypothetical updates, priority and inconsistency in a logic programming language 2022-08-30 Paper The degrees of monotony-dilemma in abstract argumentation...

of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06 Paper Recent...

routing with soft-constraint logic programming 2015-09-17 Paper A secure non-monotonic soft concurrent constraint language 2015-06-26 Paper Enumerating extensions...

sublinear time parallel algorithm for some dynamic programming problems 1995-07-24 Paper On two-dimensional pattern matching by optimal parallel algorithms...

polymorphic type inference in logic programming 1993-05-16 Paper A transformational approach to negation in logic programming 1992-06-25 Paper RECOGNIZING NON-FLOUNDERING...

(co)algebraic theory of succinct automata 2019-06-20 Paper On series-parallel pomset languages: rationality, context-freeness and automata 2019-03-27 Paper Position...

mardi4nfdi.de/entity/Q4855364 1995-11-09 Paper FORTRAN M: A language for modular parallel programming 1995-07-06 Paper https://portal.mardi4nfdi.de/entity/Q3139347...

Theories of Programming 2022-02-14 Paper The Verified Software Initiative: A Manifesto Theories of Programming 2022-02-14 Paper CV Theories of Programming 2022-02-14...

Reasoning about general quantum programs over mixed states 2009-12-09 Paper The Arrow Calculus as a Quantum Programming Language 2009-07-02 Paper Structuring...

Paper Lock-free parallel dynamic programming 2012-03-07 Paper Efficient local unfolding with ancestor stacks 2011-08-17 Paper Parallel backtracking with...

2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Planning as satisfiability: parallel plans and algorithms for plan search 2007-10-23...

Answer set programming as a modeling language for course timetabling 2014-02-27 Paper Generating event-sequence test cases by answer set programming with the...

in a language with singleton kinds 2015-03-17 Paper Adaptive functional programming 2015-03-17 Paper Space profiling for parallel functional programs 2015-03-16...

for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Programming Languages and Systems 2005-09-13 Paper Programming Languages and Systems...