Skip to main content
SpringerLink
Log in

A system for automated deduction in graphical interval logic

  • Position Papers and System Descriptions
  • Conference paper
  • First Online:
Book cover Temporal Logic (ICTL 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 827))

Included in the following conference series:

  • 161 Accesses

This research was supported in part by NSF/ARPA grant CCR-9014382.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering Department of Computer Science, University of California, 93106, Santa Barbara, CA

    P. M. Melliar-Smith, L. E. Moser, Y. S. Ramakrishna, G. Kutty & L. K. Dillon

Authors
  1. P. M. Melliar-Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. E. Moser
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Y. S. Ramakrishna
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. G. Kutty
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. L. K. Dillon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Melliar-Smith, P.M., Moser, L.E., Ramakrishna, Y.S., Kutty, G., Dillon, L.K. (1994). A system for automated deduction in graphical interval logic. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014008

Download citation

  • DOI: https://doi.org/10.1007/BFb0014008

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58241-0

  • Online ISBN: 978-3-540-48585-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation