Skip to search boxSkip to navigationSkip to main content

On four logics of programs and complexity of their satisfiability problems: Extended abstract

*Corresponding author for this work
  • University of Warsaw
Scholary Output:
Chapter in Book/Report/Conference proceeding
Conference contribution

Related Event

Title

Symposium on Logics of Programs and their Applications, 1980

Event type

Conference

Date

08/23/1980 - 08/29/1980

Location

PoznanPoland

Publication Information

Output type

Scholary Output:
Chapter in Book/Report/Conference proceeding
Conference contribution

Original language

English (US)

Pages from-to (Number of pages)

Pages 98-107 (10 pages)

Publication milestones

  • Published - 1983

Publication status

Published - 1983

Publisher

Springer Verlag

Publication series

  • Publication series name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    ISSN (Print): 0302-9743
    ISSN (Electronic): 1611-3349
    Volume: 148 LNCS

ISBN (Print)

9783540119814

Publication IDs

  • Scopus: 0021007812

Host publication title

Logics of Programs and Their Applications - Proceedings

Host publication editors

  • Andrzej Salwicki

Access to documents

Publication metrics

Metrics

Fractional count
1
Fractional count
1
Fractional count
1
Fractional count
1