scientific article; zbMATH DE number 1543326

MaRDI QIDQ4520799zbMATH OpenFDO

Authors Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_11/a_decision_method_for

zbMATH Keywords

duration calculusAllen's interval algebra

Mathematics Subject Classification ID

Recommendations

• A mixed decision method for duration calculus
• scientific article; zbMATH DE number 1950253
• scientific article; zbMATH DE number 512815
• Interval duration logic: expressiveness and decidability
• Duration calculus: Logical foundations

Cited in

(15)

• STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES
• A calculus of durations
• A duration calculus with infinite intervals
• Interval duration logic: expressiveness and decidability
• scientific article; zbMATH DE number 1950253 (Why is no real title available?)
• Axiomatisation of an interval calculus for theorem proving
• A Theory of Duration Calculus with Application
• All those duration calculi: an integrated approach
• Real-time systems development with duration calculi: an overview.
• Decidability of a hybrid duration calculus
• Deciding an Interval Logic with Accumulated Durations
• A duration calculus with neighborhood modalities.
• Theoretical Aspects of Computing - ICTAC 2004
• Formalising scheduling theories in duration calculus
• A mixed decision method for duration calculus

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