scientific article; zbMATH DE number 1543326

zbMATH Open0968.68146MaRDI QIDQ4520799FDOQ4520799

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

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

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

zbMATH Keywords

duration calculusAllen's interval algebra

Mathematics Subject Classification ID

Cited In (15)

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

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)