scientific article; zbMATH DE number 3992928
computability theorydenotational semanticselementary formal systemslanguage EFSlogic programmingprogram semanticsPROLOGrecursion theorems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03D99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
- Pseudo-Boolean valued Prolog
- Learning elementary formal systems
- Computation on structures. Behavioural theory, logic, complexity
- scientific article; zbMATH DE number 5841868 (Why is no real title available?)
- scientific article; zbMATH DE number 23020 (Why is no real title available?)
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- scientific article; zbMATH DE number 193539 (Why is no real title available?)
- scientific article; zbMATH DE number 1342354 (Why is no real title available?)
- scientific article; zbMATH DE number 1140573 (Why is no real title available?)
- Intuitionistic Logic and Computability Theory
- Selected topics on computability, complexity, and termination
- scientific article; zbMATH DE number 4187780 (Why is no real title available?)
- Multivariate risk attitude: a comparison of alternative approaches in sustainability policies
- On abstract resource semantics and computability 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 Q4720780)
