search result

Cover von Logic as a Tool
A Guide to Formal Logical Reasoning
Author: Goranko, Valentin Search for this author
Year: 2016
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach

Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach

Year: 2023
Media group: LIPIcs
Cover von CTL with Finitely Bounded Semantics

CTL with Finitely Bounded Semantics

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Year: 2017
Media group: LIPIcs
Cover von Computer Science Logic 2017
CSL 2017, August 20 - 24, 2017, Stockholm, Sweden
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 82
Media group: LIPIcs
Cover von Logic and Discrete Mathematics
A Concise Introduction, Solutions Manual
Author: Conradie, Willem; Goranko, Valentin; Robinson, Claudette Search for this author
Year: 2015
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Logic and Discrete Mathematics
A Concise Introduction
Author: Conradie, Willem; Goranko, Valentin Search for this author
Year: 2015
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 7388
Media group: MONOGRAPHIE
Cover von Advances in Modal Logic
Volume 8
Search for this author
Year: 2010
Publisher: London, College Publications
Media group: MONOGRAPHIE
Cover von Minimisation of Models Satisfying CTL Formulas

Minimisation of Models Satisfying CTL Formulas

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0