swMATH6799MaRDI QIDQ18874FDOQ18874
Author name not available (Why is that?)
Official website: http://www.ps.uni-saarland.de/oz2/
Cited In (only showing first 100 items - show all)
- A survey of constraint-based programming paradigms
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- Lectures on Concurrency and Petri Nets
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Tools and Algorithms for the Construction and Analysis of Systems
- Integer optimization by local search. A domain-independent approach
- A modeling layer for constraint-programming libraries
- Constraint and integer programming in OPL
- Decidability of infinite-state timed CCP processes and first-order LTL
- Constraint-based protocols for distributed problem solving
- A timed concurrent constraint language.
- Recognition of Nested Gates in CNF Formulas
- Model checking with probabilistic tabled logic programming
- Evaluating ASP and commercial solvers on the CSPLib
- A methodological view of constraint solving
- A concurrent lambda calculus with futures
- CLAIRE: combining sets, search and rules to better express algorithms
- Title not available (Why is that?)
- The distribution semantics for normal programs with function symbols
- Title not available (Why is that?)
- CLPS-B
- Figaro
- Title not available (Why is that?)
- Lutess
- FocusCheck
- GeneSyst
- JavaLog
- LogiMOO
- MetaMorph
- ObjectCurry
- DiVer
- JoCaml
- CLAIRE
- PROCOL
- SALSA
- MANIFOLD
- BABEL
- CHIP
- KLIC
- OMRS
- Mozart
- DECAF
- OPBDP
- WSAT(OIP)
- METATEM
- PITA
- LISP
- HAL_
- LMNtal
- Skyblue
- Title not available (Why is that?)
- Mercury
- Curry
- Kima
- Kernel-LEAF
- Pict
- Janus
- TeaBag
- OscaR
- TOY
- SICStus
- Freja
- Hat
- Hood
- PAKCS
- Lazy-CSeq
- XSB
- LOTOSphere
- CC-Pi
- GHC
- On the expressiveness of timed coordination models
- Localizer
- CFLP
- CHR
- cc(FD)
- Localizer
- Modeler
- Numerica
- OPL
- ToOLS
- CBack
- Oz Explorer
- CPAlien
- FrankenBit
- Jakstab
- MU-CSeq
- tccp
- PROVERB
- Observational semantics for a concurrent lambda calculus with reference cells and futures
- Global constraints for round robin tournament scheduling.
- FactorBase
- cnf2aig
- Models and emerging trends of concurrent constraint programming
- Search combinators
- Programming constraint services. High-level programming of standard and new constraint services
- Title not available (Why is that?)
- Title not available (Why is that?)
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- A survey of concurrent object-oriented languages
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
This page was built for software: Oz
