Suggested Topics within your search.
Suggested Topics within your search.
1
2
3
4
5
Published 2013
Table of Contents: ';
“...-Simulation for Modal Logics -- Hybrid Unification in the Description Logic EL -- Rewriting -- Disproving...”Get full text
Electronic
6
7
8
Published 2013
Table of Contents: ';
“...Reachability for finite state systems -- Rewriting systems, reachability analysis in counter/timed...”Get full text
Electronic
9
Published 2013
Table of Contents: ';
“... rewriting -- Lambda and combinatory calculi -- Categorical logic and topological semantics -- Linear logic...”Get full text
Electronic
10
Published 2010
Table of Contents: ';
“... -- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations -- The Cognitive...”Get full text
Electronic
11
12
13
14
15
Published 2013
Table of Contents: ';
“... Rewriting Rules Technique and Algebraic Program Models.-�University as a Corporation Which Serves...”Get full text
Electronic
16
by Ray, Sandip.
Published 2010
Table of Contents: ';
“... -- Concurrent Programs as a Reactive System -- Rewriting and Abstract Interpretation -- Integrating Deductive...”Published 2010
Get full text
Electronic
17
18
19
20