Search Sciweavers | Sciweavers

3658 search results - page 83 / 732

» The logic of proofs, semantically

click to vote

TPHOL
2000
IEEE

93views Automated Reasoning» more TPHOL 2000»

Fast Tactic-Based Theorem Proving

14 years 2 months ago

Download files.metaprl.org

Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...

Jason Hickey, Aleksey Nogin

claim paper

Read More »

click to vote

COMPOS
1997
Springer

144views Formal Methods» more COMPOS 1997»

Compositional Proof Methods for Concurrency: A Semantic Approach

14 years 2 months ago

Download www-sst.informatik.tu-cottbus.de

Frank S. de Boer, Willem P. de Roever

claim paper

Read More »

click to vote

ANLP
2000

86views more ANLP 2000»

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets

13 years 11 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

click to vote

ENTCS
2010

130views more ENTCS 2010»

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL

13 years 10 months ago

Download hal.archives-ouvertes.fr

Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...

Ludovic Henrio, Muhammad Uzair Khan

claim paper

Read More »

click to vote

ENTCS
2006

102views more ENTCS 2006»

A Proof Theoretic Approach to Operational Semantics

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers