Sciweavers

20 search results - page 2 / 4

» frocos 2009

128

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

15 years 10 months ago

Termination Modulo Combinations of Equational Theories

Download disi.unitn.it

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

claim paper

Read More »

102

Voted

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

15 years 10 months ago

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

102

Voted

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

15 years 10 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 »

116

Voted

FROCOS
2009
Springer

92views Control Systems» more FROCOS 2009»

Combining Instance Generation and Resolution

15 years 10 months ago

Combining Instance Generation and Resolution

Download disi.unitn.it

Christopher Lynch, Ralph Eric McGregor

claim paper

Read More »

108

Voted

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

15 years 10 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 »