FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156zbMATH Open1172.03311OpenAlexW2484051058MaRDI QIDQ5897758FDOQ5897758

Authors: Natarajan Shankar 

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11590156

Recommendations

• scientific article; zbMATH DE number 2090529
• scientific article; zbMATH DE number 2222011
• Logical frameworks
• scientific article; zbMATH DE number 4176494
• Language generation and recognition over terms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Inference engine based on closure and join operators over truth table binary relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics of Datalog for the evidential tool bus (extended abstract)
• Title not available (Why is that?)
• Systems and Implementations for Solving Reasoning Problems in Conditional Logics

This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897758)