Sciweavers

20 search results - page 2 / 4

» frocos 2009

21

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

14 years 25 days ago

Termination Modulo Combinations of Equational Theories

Download disi.unitn.it

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

claim paper

Read More »

14

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

14 years 25 days ago

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

9

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

14 years 25 days 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 »

17

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

14 years 25 days ago

Combining Instance Generation and Resolution

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper

Read More »

12

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 25 days 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 »