Sciweavers

20 search results - page 2 / 4

» frocos 2009

29

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

14 years 4 months ago

Termination Modulo Combinations of Equational Theories

Download disi.unitn.it

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

25

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

14 years 4 months ago

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

19

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

14 years 4 months ago

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

Download www.nue.riec.tohoku.ac.jp

d abstract) Takahito Aoto† Toshiyuki Yamada‡

Takahito Aoto, Toshiyuki Yamada

claim paper

Read More »

32

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

14 years 4 months ago

Combining Instance Generation and Resolution

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper

Read More »

27

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 4 months ago

Runtime Verification Using a Temporal Description Logic

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

« Prev « First page 2 / 4 Last » Next »