Extended Comptation Tree Logic (Extended Abstract)

Extended Comptation Tree Logic (Extended Abstract)

Podrobná bibliografie
Hlavní autor:	Lange, M
Médium:	Conference item
Vydáno:	2010

Podobné jednotky

An Epistemic Foundation for Authentication Logics (Extended Abstract)
Autor: Joseph Y. Halpern, a další
Vydáno: (2017-07-01)

Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Autor: Lawrence Dunn, a další
Vydáno: (2017-01-01)

Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
Autor: Adam Bjorndahl, a další
Vydáno: (2017-07-01)

Random Records and Cuttings in Split Trees: Extended Abstract
Autor: Cecilia Holmgren
Vydáno: (2008-01-01)

Extended Abstracts
Vydáno: (1977-01-01)

Extended Abstract
Autor: John Maher, a další
Vydáno: (2016-05-01)

Extended Abstracts
Vydáno: (2017-08-01)

extend abstracts
Vydáno: (2018-12-01)

EXTENDED ABSTRACT
Vydáno: (2016-03-01)

Extended Abstract
Autor: reza valizadeh
Vydáno: (2015-12-01)

Extended Abstract
Autor: reza valizadeh
Vydáno: (2016-04-01)

Dissimilarity Vectors of Trees and Their Tropical Linear Spaces (Extended Abstract)
Autor: Benjamin Iriarte Giraldo
Vydáno: (2011-01-01)

Dyck path triangulations and extendability (extended abstract)
Autor: Cesar Ceballos, a další
Vydáno: (2015-01-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
Autor: R van der Meyden, a další
Vydáno: (2016-06-01)

Extended Abstracts in English
Vydáno: (2019-06-01)

Full Abstraction for PCF (Extended Abstract)
Autor: Abramsky, S, a další
Vydáno: (1994)

Combinatorial formulas for ⅃-coordinates in a totally nonnegative Grassmannian, extended abstract, extended abstract
Autor: Kelli Talaska
Vydáno: (2009-01-01)

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
Autor: Pavel Naumov, a další
Vydáno: (2017-07-01)

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Autor: Burak Ekici, a další
Vydáno: (2016-06-01)

Simply generated trees, conditioned Galton―Watson trees, random allocations and condensation: Extended abstract
Autor: Svante Janson
Vydáno: (2012-01-01)

Interaction Categories (Extended Abstract)
Autor: Abramsky, S
Vydáno: (1993)

Matching Ensembles (Extended Abstract)
Autor: Suho Oh, a další
Vydáno: (2015-01-01)

Arc Permutations (extended abstract)
Autor: Sergi Elizalde, a další
Vydáno: (2012-01-01)

Safer in the Clouds (Extended Abstract)
Autor: Chiara Bodei, a další
Vydáno: (2010-10-01)

Parameterized Dataflow (Extended Abstract)
Autor: Dominic Duggan, a další
Vydáno: (2016-10-01)

Physics on the Terascale (extended abstract)
Autor: J. Engelen
Vydáno: (2010-01-01)

Extended Abstract 7-4
Autor: reza valizadeh
Vydáno: (2016-04-01)

A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
Autor: Nachum Dershowitz, a další
Vydáno: (2012-07-01)

Lightweight Email Signatures (Extended Abstract)
Autor: Adida, Ben, a další
Vydáno: (2014)

ESD Internal Conference Extended Abstracts
Autor: ESD Colloquium Committee
Vydáno: (2016)

Policy Refinement Checking (extended abstract)
Autor: Goldsmith, S
Vydáno: (2009)

Toy Quantum Categories (Extended Abstract)
Autor: Coecke, B, a další
Vydáno: (2011)

Polytypic Programming With Ease (Extended Abstract)
Autor: Hinze, R
Vydáno: (1999)

Toy quantum categories (extended abstract)
Autor: Coecke, B, a další
Vydáno: (2011)

Secure protocol composition (extended abstract)
Autor: Datta, A, a další
Vydáno: (2003)

Extended Initiality for Typed Abstract Syntax
Autor: Benedikt Ahrens
Vydáno: (2012-04-01)

Generalized Dyck tilings (Extended Abstract)
Autor: Matthieu Josuat-Vergès, a další
Vydáno: (2014-01-01)

Generalized Polarization Modules (extended abstract)
Autor: Héctor Blandin
Vydáno: (2015-01-01)

The height of watermelons with wall - Extended Abstract
Autor: Thomas Feierl
Vydáno: (2007-01-01)

The shifted plactic monoid (extended abstract)
Autor: Luis Serrano
Vydáno: (2009-01-01)