Christophe Ringeissen And NotInformatique théorique
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000394 | David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision procedures for the formal analysis of software |
| 000472 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; DUC KHANH TRAN [France] | On superposition-based satisfiability procedures and their combination |
| 000475 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-oppen, shostak and the extended canonizer : A family picture with a newborn |
| 000513 | Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 000634 | Carlos Castro [Chili] ; Eric Monfroy [France] ; Christophe Ringeissen [France] | A rule language for interaction |
| 000663 | Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France] | Unions of non-disjoint theories and combinations of satisfiability procedures |
| 000690 | Christophe Ringeissen [France] | Matching in a class of combined non-disjoint theories |
| 000803 | David Deharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving symbolic model checking by rewriting temporal logic formulae |
| 000899 | Christophe Ringeissen [France] | Matching with free function symbols : A simple extension of matching? |
| This area was generated with Dilib version V0.6.33. |  |