Filter your results
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.195-211, ⟨10.1007/978-3-642-37635-1_12⟩
Conference papers
hal-01485970v1
|
||
|
Impact Analysis via Reachability and Alias Analysis7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.261-270, ⟨10.1007/978-3-662-45501-2_19⟩
Conference papers
hal-01282005v1
|