scientific article; zbMATH DE number 595198

MaRDI QIDQ4296948zbMATH OpenFDO

Authors Harrie de Swart

Publication date 22 June 1994

zbMATH Keywords

complexityautomatongrammarprogramming languagerelational databaseslambda calculustemporal logicundecidabilitycomputabilityTuring machinesPROLOG

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(10)

• scientific article; zbMATH DE number 793951 (Why is no real title available?)
• scientific article; zbMATH DE number 2116161 (Why is no real title available?)
• Lógos and Máthēma 2
• scientific article; zbMATH DE number 1615755 (Why is no real title available?)
• scientific article; zbMATH DE number 5935734 (Why is no real title available?)
• scientific article; zbMATH DE number 49669 (Why is no real title available?)
• Logics for computer and data sciences, and artificial intelligence
• scientific article; zbMATH DE number 409417 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 992300 (Why is no real title available?)

Describes a project that uses

Uses Software

• Automath

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