scientific article; zbMATH DE number 1231470
From MaRDI portal
Publication:4222772
zbMATH Open0910.68106MaRDI QIDQ4222772
Publication date: 10 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#mislove
Title of this publication is not available (Why is that?)
Related Items (6)
Unbounded Non-determinism in CSP ⋮ Model-complete theories of bounded unars ⋮ Title not available (Why is that?) ⋮ Modelling higher-order dual nondeterminacy ⋮ Title not available (Why is that?) ⋮ Denotational models for programming languages: Applications of Banach's fixed point theorem
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Model-complete theories of bounded unars 👍 👎
- Nondeterministic extensions of untyped \(\lambda\)-calculus 👍 👎
- On Models of a Nondeterministic Computation 👍 👎
- A Bicategorical Model for Finite Nondeterminism 👍 👎
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 Q4222772)
