scientific article; zbMATH DE number 756051

zbMATH Open0830.68022MaRDI QIDQ4698362FDOQ4698362

Authors: Roy L. Crole, Andrew D. Gordon 

Publication date: 28 January 1996

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

Recommendations

• Computational adequacy of the FIX-logic
• Computational adequacy via ‘mixed’ inductive definitions
• Publication:4490356
• Computational types from a logical perspective
• Meta-theory à la carte

zbMATH Keywords

programming languagesmetalogics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cited In (2)

• Computational adequacy via ‘mixed’ inductive definitions
• Computational adequacy of the FIX-logic

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