IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 155
Titolo Anno di pubblicazione Autori Unitn File
Constraint solving in logic programming and in automated deduction: A comparison 1-gen-1998 Ranise S. +
From integrated reasoning specialists to “plug-And-Play” reasoning components 1-gen-1998 Ranise S. +
Termination of constraint contextual rewriting 1-gen-2000 Ranise S. +
A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic 1-gen-2001 Ranise S. +
System description: RDL rewrite and decision procedure laboratory 1-gen-2001 Ranise S. +
Uniform derivation of decision procedures by superposition 1-gen-2001 Ranise S. +
The control layer in Open Mechanized Reasoning Systems: Annotations and tactics 1-gen-2001 Giunchiglia F.Ranise S. +
Combining generic and domain specific reasoning by using contexts 1-gen-2002 Ranise S.
Light-weight theorem proving for debugging and verifying units of code 1-gen-2003 Ranise S. +
Applying light-weight theorem proving to debugging and verifying pointer programs 1-gen-2003 Ranise S. +
A rewriting approach to satisfiability procedures 1-gen-2003 Ranise S. +
Proving and debugging set-based specifications 1-gen-2004 Ranise S. +
Abstraction-Driven Verification of Array Programs 1-gen-2004 Ranise S. +
Rewrite and decision procedure laboratory: Combining rewriting, satisfiability checking, and lemma speculation 1-gen-2005 Ranise S. +
On superposition-based satisfiability procedures and their combination 1-gen-2005 Ranise S. +
Combining lists with non-stably infinite theories 1-gen-2005 Ranise S. +
Combining data structures with nonstably infinite theories using many-sorted logic 1-gen-2005 Ranise S. +
Nelson-Oppen, Shostak and the extended Canonizer: A family picture with a newborn 1-gen-2005 Ranise S. +
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal 1-gen-2005 Ranise S. +
Intelligent systems and formal methods in software engineering 1-gen-2006 Ranise S. +
Mostrati risultati da 1 a 20 di 155
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