Results 261 to 270 of about 173,804,276 (284)

On model construction for modal mu-calculus

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
This paper presents a tableau system for checking satisfiability of modal mu-calculus formulas. When a formula F is satisfiable, a model with size bounded by 2^|F| can be extracted from the tableau. We also show that the asymptotic lower bound for the model size of formulas is greater than any polynomial function of the size of formulas.
openaire   +2 more sources

The Extended Calculus of Constructions

1994
Abstract The Extended Calculus of Constructions (ECC) is a type theory which is developed as an initial step towards a rich computational language with a powerful internal logic for modular development of programs, specifications, and proofs.
openaire   +1 more source

CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo.

2012
We show how to translate the Calculus of Inductive Constructions (CIC) as implemented by Coq into the ??-calculus modulo, a proposed common backend proof format for heterogeneous proof assistants.
Boespflug, Mathieu, Burel, Guillaume
openaire   +2 more sources

6 - The Calculus of Constructions

2014
Item does not contain ...
Geuvers, H., Nederpelt, R.P.
openaire   +1 more source

Take It NP-Easy: Bounded Model Construction for Duration Calculus

Lecture Notes in Computer Science, 2002
Martin Fränzle
exaly  

Inductively Defined Types in the Calculus of Constructions

Lecture Notes in Computer Science, 1990
Frank Pfenning, Christine Paulin-Mohring
exaly  

Reduction and Conversion Strategies for the Calculus of (Co)Inductive Constructions: Part I

Electronic Notes in Theoretical Computer Science, 2007
Claudio Sacerdoti Coen
exaly  

A Compact Kernel for the Calculus of Inductive Constructions

Sadhana - Academy Proceedings in Engineering Sciences, 2009
Enrico Tassi, Andrea Asperti
exaly  

Construction of Strong Solutions of SDE's via Malliavin Calculus

Journal of Functional Analysis, 2010
Frank Norbert Proske, Thilo Meyer-Brandis   +1 more
exaly  

The Calculus of Constructions

2014
openaire   +1 more source