Sciweavers

2766 search results - page 31 / 554

» Hybridizing a Logical Framework

13

ENTCS
2007

79views more ENTCS 2007»

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

13 years 9 months ago

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

Download www.ps.uni-saarland.de

Moritz Hardt, Gert Smolka

claim paper

Read More »

19

IGPL
2000

82views more IGPL 2000»

The Computational Complexity of Hybrid Temporal Logics

13 years 9 months ago

The Computational Complexity of Hybrid Temporal Logics

Download www.loria.fr

Carlos Areces, Patrick Blackburn, Maarten Marx

claim paper

Read More »

27

LPAR
2010
Springer

139views Automated Reasoning» more LPAR 2010»

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

13 years 7 months ago

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference

Download www.ps.uni-saarland.de

Mark Kaminski, Gert Smolka

claim paper

Read More »

36

JAR
2011

60views more JAR 2011»

Resolution with Order and Selection for Hybrid Logics

13 years 4 months ago

Resolution with Order and Selection for Hybrid Logics

Download www.glyc.dc.uba.ar

Carlos Areces, Daniel Gorín

claim paper

Read More »

30

VMCAI
2009
Springer

122views Software Engineering» more VMCAI 2009»

Synthesizing Switching Logic Using Constraint Solving

14 years 4 months ago

Synthesizing Switching Logic Using Constraint Solving

Download research.microsoft.com

A new approach based on constraint solving techniques was recently proposed for veriﬁcation of hybrid systems. This approach works by searching for inductive invariants of a give...

Ankur Taly, Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 31 / 554 Last » Next »