scientific article; zbMATH DE number 595198

zbMATH Open0805.03002MaRDI QIDQ4296948FDOQ4296948

Authors: Harrie de Swart 

Publication date: 22 June 1994

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

Recommendations

• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 607283
• scientific article; zbMATH DE number 53085
• scientific article; zbMATH DE number 49445
• scientific article; zbMATH DE number 793951

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)

• Title not available (Why is that?)
• Lógos and Máthēma 2
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics for computer and data sciences, and artificial intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)