Sfoglia per Autore
X-separability in lambda-calculus
1987 C., Bohm; Tronci, Enrico
Regular systems of equations in lambda-calculus (preliminary version)
1989 Piperno, Adolfo; Tronci, E.
Regular Systems of Equations in Lambda-Calculus
1989 A., Piperno; Tronci, Enrico
Solving Equations in lambda-calculus
1989 C., Bohm; Piperno, Adolfo; Tronci, Enrico
Regular systems of equations in lambda-calculus
1990 Piperno, Adolfo; Tronci, Enrico
About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus
1991 C., Bohm; Tronci, Enrico
Equational Programming in lambda-calculus
1991 Tronci, Enrico
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
1995 Tronci, Enrico
Defining Data Structures via Bohm-out
1995 Tronci, Enrico
Equational Programming in Lambda-calculus via SL-systems, Part 2
1996 Tronci, Enrico
Automatic Verification of a Hydroelectric Power Plant
1996 R., Pugliese; Tronci, Enrico
Equational Programming in Lambda-calculus via SL-systems, Part 1
1996 Tronci, Enrico
Optimal Finite State Supervisory Control
1996 Tronci, Enrico
On Computing Optimal Controllers for Finite State Systems
1997 Tronci, Enrico
A Symbolic Model Checker for ACTL
1998 A., Fantechi; S., Gnesi; F., Mazzanti; R., Pugliese; Tronci, Enrico
Automatic Synthesis of Controllers from Formal Specification
1998 Tronci, Enrico
Automatic Synthesis of Control Software for an Industrial Automation Control System
1999 Tronci, Enrico
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications
1999 Tronci, Enrico
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
2000 M., Cecconi; Tronci, Enrico
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems
2001 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile