scientific article; zbMATH DE number 3903941

zbMATH Open0566.68015MaRDI QIDQ3681906FDOQ3681906

Authors: Robert Cartwright 

Publication date: 1984

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

Recommendations

• Recursive Programs as Definitions in First-Order Logic
• scientific article; zbMATH DE number 3848592
• Fixed-point extensions of first-order logic
• Formalizing non-termination of recursive programs
• Fixpoint semantics for logic programming a survey

zbMATH Keywords

semanticsnon-standard modelsrecursive programfirst order programming logicfixed- points

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models of other mathematical theories (03C65) Abstract and axiomatic computability and recursion theory (03D75) Nonstandard models (03H99)

Cited In (4)

• Fixed-point extensions of first-order logic
• Recursive Programs as Definitions in First-Order Logic
• Non-standard algorithmic and dynamic logic
• Formalizing non-termination of recursive programs

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