Propositional modal logic of programs extended abstract

Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn 02-04-May-1977, Issue , 1977, Pages 286-294

  Fischer, Michael J ^a   Ladner, Richard E ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE;

CLASSICAL SYSTEMS; DECISION PROCEDURE; EXTENDED ABSTRACTS; EXTENDED SYSTEMS; FORMAL SYNTAXES; LOGICAL SYSTEM; NON-DETERMINISTIC TIME; REGULAR EXPRESSIONS;

FORMAL LOGIC;

EID: 84963653792     PISSN: 07378017     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800105.803417     Document Type: Conference Paper

References (0)