Searching for authors named "Sorin Stratulat" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Article Submitted to Journal of Symbolic Computation Incorporating Decision Procedures in Implicit Induction
- … in Implicit Induction Alessandro Armando1, Micha"el Rusinowitch2 and Sorin Stratulat3 1DIST - Universit…
- Add To MetaCart
-
Incorporating Decision Procedures in Implicit Induction
- … Induction Alessandro Armando 1 , Micha el Rusinowitch 2 and Sorin Stratulat 3 1 DIST { Universita di…
- Cited by 5 (2 self) – Add To MetaCart
-
Mechanical verification of an ideal incremental ABR conformance algorithm
- …"el Rusinowitch1 and Sorin Stratulat2 and Francis Klay3 1 LORIA-INRIA 2 LORIA-Universit'e Henri Poincar'e 54506…
- Cited by 2 (1 self) – Add To MetaCart
-
Analysing Feature Interactions with Automated Deduction Systems
- …el Rusinowitch 2 , and Sorin Stratulat 2 1 CNET-France Telecom francis.klay@(email omitted); 2 LORIA…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 4.
