Dimitar P. Guelev  Home/Search
Context
Related
| folli.uva.nl/CD/2003/Worksho...file6.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: folli.uva.nl/CD/2003/Workshop/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dimitar P. Guelev # June 6, 2003 (Update)
Active bibliography (related documents): More All
1.1: Interpolation and Related Results on the - Guelev (2000) (Correct)
1.0: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
0.8: A Complete Proof System for First Order Interval Temporal Logic.. - Guelev (2000) (Correct)
Similar documents based on text:
0.5: Prefix and Projection onto State in Duration Calculus - Guelev, Van Hung (2001) (Correct)
BibTeX entry: (Update)
@misc{ guelev-logical,
author = "Dimitar P. Guelev",
title = "Logical Interpolation and Projection onto State in the Duration Calculus
(Extended Abstract)",
url = "citeseer.ist.psu.edu/guelev03logical.html" }
Citations (may not include all citations):281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
227 North Holland (context) - Chang, Keisler - 1973
125 Temporal Logic For Multilevel Reasoning About Hardware (context) - Moszkowski - 1985
121 Executing Temporal Logic Programs - Moszkowski - 1986
90 Duration Calculus: Logical Foundations (context) - Hansen - 1997
43 A Hardware Semantics Based on Temporal Intervals (context) - Halpern, Manna et al. - 1983
41 Decidability and Undecidability Results for Duration Calculu.. (context) - Chaochen, Hansen et al. - 1993
22 Compositional Reasoning about Projected and Infinite Time (context) - Moszkowski - 1995
18 An Adequate First Order Interval Logic - Chaochen, Hansen - 1998
13 A Calculus of Durations on Abstract Domains: Completeness an.. - Guelev - 1998
9 On First Order Interval Temporal Logic Report no (context) - Dutertre - 1995
9 Projections: A Technique for Verifying Real-Time Programs in.. - Van Hung - 1999
9 Some extensions to Mean-Value Calculus: Expressiveness and D.. (context) - Pandya - 1995
7 A Behavioral Model for Co-design - Jifeng - 1999
3 Interval-related Interpolation in Interval Temporal Logics (context) - Guelev - 2001
3 Real-Time: Theory and Practice (context) - Hansen - 1992
2 A Complete Proof System for First Order Interval Temporal Lo.. - Guelev - 2000
2 A Complete Axiomatisation of Interval Temporal Logic with Pr.. (context) - Bowman, Thompson - 2000
2 Interpolation and Related Results on the #P #-fragment of DC.. (context) - Guelev - 2000
1 Prefix and Projection onto State in Duration Calculus - Guelev - 2002
1 Interval Logic - Proof Theory and Theorem Proving (context) - Rasmussen - 2002
Documents on the same site (http://www.folli.uva.nl/CD/2003/Workshop/GorankoMontanari/): More
Temporal Constructs for a Web Language - Bry, Spranger (2003) (Correct)
A Road Map on Interval Temporal Logics and Duration Calculi - Goranko, Montanari.. (2003) (Correct)
A Hierarchical Completeness Proof for Interval Temporal Logic.. - Moszkowski (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC