scientific article; zbMATH DE number 176530

zbMATH Open0776.68085MaRDI QIDQ4035696FDOQ4035696

Authors: Oliver Schoett 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• The subtrace order and counting first-order logic
• scientific article; zbMATH DE number 1500655
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• First-order logic and its infinitary quantifier extensions over countable words
• The non-definability notion and first order logic
• On the undecidability of logics with converse, nominals, recursion and counting
• scientific article; zbMATH DE number 408805
• Decidable first-order modal logics with counting quantifiers
• A theory of observables for logic programs
• A nonmonotonic observation logic

zbMATH Keywords

specification language for abstract data types

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Toward formal development of programs from algebraic specifications: model-theoretic foundations

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 Q4035696)