The following pages link to Logic and Computation (Q3789060):
Displaying 30 items.
- Cambridge LCF (Q43692) (← links)
- A framework for developing stand-alone certifiers (Q530847) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- R-calculus for ELP: An operational approach to knowledge base maintenance (Q676851) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- Definition and basic properties of the Deva meta-calculus (Q688825) (← links)
- Codatatypes in ML (Q908682) (← links)
- A logic for Miranda (Q909443) (← links)
- Term rewriting and beyond -- theorem proving in Isabelle (Q909488) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- Experimenting with Isabelle in ZF set theory (Q1312157) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Biological plausibility of synaptic associative memory models (Q1346018) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Dynamic modeling of branching morphogenesis of ureteric bud in early kidney development (Q1624263) (← links)
- The foundation of a generic theorem prover (Q1823013) (← links)
- A logic for Miranda, revisited (Q1903076) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- Foundations of a theorem prover for functional and mathematical uses (Q4275695) (← links)
- Reflection of formal tactics in a deductive reflection framework (Q4647552) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- A theory of requirements capture and its applications (Q5044751) (← links)
- A fixedpoint approach to implementing (Co)inductive definitions (Q5210768) (← links)
- Nuprl-Light: An implementation framework for higher-order logics (Q5234721) (← links)
