Computation tree logic - PDFSEARCH.IO - Document Search Engine

Computation tree logic
Results: 41

#	Item
1	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: coccinelle.lip6.fr Language: English Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
2	Structured Parameter Estimation for LFG-DOP using Backoff Mary Hearne? and Khalil Sima’an† ? School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland † Institute for Logic, Language and Computation Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Data-oriented parsing Natural language parsing Knowledge representation Dilution of precision Lexical functional grammar Tree Density estimation
3	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
4	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
5	Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3 Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:40
6	Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UK Add to Reading List Source URL: csp2011.mimuw.edu.pl Language: English - Date: 2011-09-01 11:05:18
7	A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic
8	Zones From infinte to finite Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 11:16:24 T1 Q Computer science Computing Temporal logic Logic in computer science Computation tree logic
9	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
10	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic