First-Order Dynamic Logic
Edition: 1 edition
Publisher: Springer
Published: June 1, 1979
Language: eng
Format: Paperback
Number of pages: 148
ISBN-13: 9783540092377
Subjects: Computer Science; Computers / Computer Science; Modale Logik; Programmiersprache; Programmierung (EDV); Computers - General Information
Notes: Lecture Notes in Computer Science