scientific article; zbMATH DE number 5587277

zbMATH Open1194.68164MaRDI QIDQ5190784

P. Madhusudan

Publication date: 27 July 2009

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

zbMATH Keywords

first-order logicdecidabilitymonadic trace logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

Related Items (9)

Title not available (Why is that?) ⋮ Constraint logic programming for reasoning about discrete event processes ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ An event-based fragment of first-order logic over intervals ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Event domains, stable functions and proof-nets

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A logic-based calculus of events 👍 👎
• A logical characterization of well branching event structures 👍 👎
• Characterising spectra of equivalences for event structures, logically 👍 👎
• Event Calculus Reasoning Through Satisfiability 👍 👎

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