The Layers of Logiweb

DOI10.1007/978-3-540-73086-6_21MaRDI QIDQ5428274zbMATH OpenOpenAlexFDO

Authors Klaus Grue

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_21

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Logiweb -- a system for web publication of mathematics
• Logiweb
• LogicWeb: Enhancing the Web with logic programming
• scientific article; zbMATH DE number 1614694
• LWBtheory: Information about some propositional logics via the WWW

Cited in

(4)

• Logiweb
• MathLang Translation to Isabelle Syntax
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
• Logiweb -- a system for web publication of mathematics

This page was built for publication: The Layers of Logiweb

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