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

Allen's interval algebraduration calculus

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

(19)

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

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)