scientific article; zbMATH DE number 51865
abstract data typesAlgebraComputationconcurrencyconstructive type theoryLogiclogic programmingMarktoberdorf (FRG)program synthesisresolutionspecification
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
- Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
- Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
- Handbook of philosophical logic. Vol. 9
- Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings
- scientific article; zbMATH DE number 4172924 (Why is no real title available?)
- scientific article; zbMATH DE number 4033057 (Why is no real title available?)
- scientific article; zbMATH DE number 47007 (Why is no real title available?)
- scientific article; zbMATH DE number 47073 (Why is no real title available?)
- scientific article; zbMATH DE number 49223 (Why is no real title available?)
- scientific article; zbMATH DE number 49239 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 599028 (Why is no real title available?)
- scientific article; zbMATH DE number 1049165 (Why is no real title available?)
- scientific article; zbMATH DE number 1535994 (Why is no real title available?)
- scientific article; zbMATH DE number 194783 (Why is no real title available?)
- Logic and Algebra of Specification
- Logic and Computation
- Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15--20, 2008. Proceedings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4002242)
