Naviga IRIS

Sfoglia per Rivista

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 7 di 7

2007-01-01 Bonacina, Maria Paola; Nachum, Dershowitz

2017-01-01 Mastroeni, Isabella; Damiano, Zanardini

2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita

2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro

2005-01-01 Giacobazzi, Roberto; F., Ranzato; F., Scozzari

2009-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz

2009-01-01 S., Guerrini; Masini, Andrea

Titolo	Data di pubblicazione	Autore(i)
Abstract canonical inference	1-gen-2007	Bonacina, Maria Paola; Nachum, Dershowitz
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing	1-gen-2017	Mastroeni, Isabella; Damiano, Zanardini
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics	1-gen-2021	Martini, Simone; Masini, Andrea; Zorzi, Margherita
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison	1-gen-2018	Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Making Abstract Domains Condensing	1-gen-2005	Giacobazzi, Roberto; F., Ranzato; F., Scozzari
New results on rewrite-based satisfiability procedures	1-gen-2009	Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
Proofs, tests and continuation passing style	1-gen-2009	S., Guerrini; Masini, Andrea

Mostrati risultati da 1 a 7 di 7