Time & logic : a computational approach /: a computational approach. (2019)

• Record Type: Book
• Further Information: Note: Edited by Leonard Bolc, Andrzej Szałas.
• Editors: Bolc, Leonard, 1934-; Szałas, Andrzej, 1958-
• Contents: Preface 1. Temporal Logic of Programs: Standard Approach, A. Szałas 2. Effective Temporal Logics of Programs, H. Andréka, V. Goranko, S. Mikulás, I. Németim, I. Sain 3. On the Relation of Programs and Computations to Models of Temporal Logic, P. Wolper 4. Branching Time and Partial Order in Temporal Logics, W. Penczek 5. Temporal Logic in Stochastic Environment, B. Strulo, D. Gabbay, P.G. Harrison 6. Relational Proof Systems for Applied Temporal Logics, E. Orlowska 7. An Analysis of Structure of Time in the First Order Predicate Calculus, E. Hajnicz Index
• Edition: 1st
• Publisher Details: London : Routledge
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 005.1015113; Logic programming; Time
• Languages: English
• ISBNs: 9781000507317; 9781000497434; 9781000502374; 9780429321047
• Related ISBNs: 9780367336530
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.