scientific article; zbMATH DE number 3992928

zbMATH Open0613.68019MaRDI QIDQ4720780FDOQ4720780

Authors: Melvin Fitting 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 3987247
• Elementar computability theory
• scientific article; zbMATH DE number 1955470
• Computability
• Selected topics on computability, complexity, and termination

zbMATH Keywords

denotational semanticsprogram semanticscomputability theorylogic programmingPROLOGelementary formal systemsrecursion theoremslanguage EFS

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03D99)

Cited In (13)

• Computation on structures. Behavioural theory, logic, complexity
• On abstract resource semantics and computability logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Selected topics on computability, complexity, and termination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Learning elementary formal systems
• Title not available (Why is that?)
• Pseudo-Boolean valued Prolog
• Title not available (Why is that?)
• Intuitionistic Logic and Computability Theory

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