Sciweavers

1414 search results - page 13 / 283

» Combining Intruder Theories

148

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

16 years 1 days ago

Termination Modulo Combinations of Equational Theories

Download disi.unitn.it

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

claim paper

Read More »

121

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 »

85

JSC
2010

53views more JSC 2010»

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

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

267

CADE
2010
Springer

370views Logical Reasoning» more CADE 2010»

On Hierarchical Reasoning in Combinations of Theories

15 years 3 months ago

On Hierarchical Reasoning in Combinations of Theories

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

claim paper

Read More »

176

CADE
2005
Springer

163views Logical Reasoning» more CADE 2005»

A Combination Method for Generating Interpolants

16 years 5 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 »