Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
FUNDAMENTA INFORMATICAE
Rivista
Codice:
E068482
ISSN:
0169-2968
Dati Generali
Dati Generali
Pubblicazioni (20)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Decidable Probability Logic for Timed Probabilistic Systems
Articolo
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
Articolo
A New Sandpile Model with Smoothness Assumptions
Articolo
A P Systems Flat Form Preserving Step-by-step Behaviour
Articolo
A dynamical system approach to polyominoes generation
Articolo
A specification format for rooted branching bisimulation
Articolo
ASP based generation of information terms for constructive EL
Articolo
Actions Over a Constructive Semantics for Description Logics
Articolo
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Articolo
Compositional Synthesis of Generalized Mealy Machines
Articolo
CospanSpan(Graph): A Compositional Description of the Heart System
Articolo
Dynamic Hierarchical Machines
Articolo
Finite IUML-algebras, Finite Forests and Orthopairs
Articolo
From constructivism to logic programming: An homage to Mario Ornaghi
Articolo
From models to languages
Curatela
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
Articolo
P Systems with transport and diffusion membrane channels
Articolo
Similarity MV-algebras
Articolo
Timed Cooperating Automata
Articolo
Transformations of timed cooperating automata
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
