Unifying Theories of Logic and Specification

DOI10.1007/978-3-642-41071-0_3zbMATH Open1409.68167OpenAlexW101433687MaRDI QIDQ5166658

Victor Bandur, Jim Woodcock

Publication date: 8 July 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-41071-0_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logics of specification languages 👍 👎
• Unifying theories for logic programming 👍 👎
• Unification in modal and description logics 👍 👎
• Unifying logics via context-sensitiveness 👍 👎
• UNIFICATION IN INTERMEDIATE LOGICS 👍 👎
• Unification in intuitionistic logic 👍 👎
• A uniform approach to logic programming semantics 👍 👎

This page was built for publication: Unifying Theories of Logic and Specification

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