Sciweavers

1414 search results - page 13 / 283

» Combining Intruder Theories

155

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

16 years 17 days ago

Termination Modulo Combinations of Equational Theories

Download disi.unitn.it

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

claim paper

Read More »

129

CORR
2004
Springer

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

15 years 5 months ago

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

93

JSC
2010

53views more JSC 2010»

Combination of convex theories: Modularity, deduction completeness, and explanation

15 years 4 months ago

Combination of convex theories: Modularity, deduction completeness, and explanation

Download www.loria.fr

Duc-Khanh Tran, Christophe Ringeissen, Silvio Rani...

claim paper

Read More »

280

CADE
2010
Springer

370views Logical Reasoning» more CADE 2010»

On Hierarchical Reasoning in Combinations of Theories

15 years 4 months ago

On Hierarchical Reasoning in Combinations of Theories

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

claim paper

Read More »

182

CADE
2005
Springer

163views Logical Reasoning» more CADE 2005»

A Combination Method for Generating Interpolants

16 years 6 months ago

A Combination Method for Generating Interpolants

Download www.research.ibm.com

We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...

Greta Yorsh, Madanlal Musuvathi

claim paper

Read More »

« Prev « First page 13 / 283 Last » Next »