Search Sciweavers | Sciweavers

506 search results - page 4 / 102

» Constructor-based observational logic

141

Voted

TLCA
2009
Springer

158views Theoretical Computer Science» more TLCA 2009»

Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

15 years 9 months ago

Download www.lix.polytechnique.fr

Abstract. We investigate the question of what constitutes a proof when quantiﬁers and multiplicative units are both present. On the technical level this paper provides two new as...

Lutz Straßburger

claim paper

Read More »

click to vote

ISCAS
1999
IEEE

72views Hardware» more ISCAS 1999»

Observing test response of embedded cores through surrounding logic

15 years 7 months ago

Download users.ece.utexas.edu

P. K. Jaini, Nur A. Touba

claim paper

Read More »

click to vote

AMAST
1998
Springer

79views Software Engineering» more AMAST 1998»

Observational Logic

15 years 7 months ago

Download www.lsv.ens-cachan.fr

Rolf Hennicker, Michel Bidoit

claim paper

Read More »

105

click to vote

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

15 years 7 months ago

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

click to vote

BIOSYSTEMS
2007

74views more BIOSYSTEMS 2007»

Internal logic viewed from observation space: Theory and a case study

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers