Sciweavers

25 search results - page 1 / 5

» logcom 2010

86

LOGCOM
2010

80views more LOGCOM 2010»

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

15 years 1 months ago

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

Download symbolaris.com

André Platzer

claim paper

Read More »

64

LOGCOM
2010

75views more LOGCOM 2010»

A Proof System for Abstract Non-interference

15 years 1 months ago

A Proof System for Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

89

LOGCOM
2010

77views more LOGCOM 2010»

Rule Systems for Run-time Monitoring: from Eagle to RuleR

15 years 1 months ago

Rule Systems for Run-time Monitoring: from Eagle to RuleR

Download www.havelund.com

Howard Barringer, David E. Rydeheard, Klaus Havelu...

claim paper

Read More »

95

LOGCOM
2010

64views more LOGCOM 2010»

Presentation of Set Functors: A Coalgebraic Perspective

15 years 1 months ago

Presentation of Set Functors: A Coalgebraic Perspective

Download www.iti.cs.tu-bs.de

Jirí Adámek, H. Peter Gumm, Vera Trn...

claim paper

Read More »

105

LOGCOM
2010

135views more LOGCOM 2010»

Bases of Admissible Rules of Lukasiewicz Logic

15 years 1 months ago

Bases of Admissible Rules of Lukasiewicz Logic

Download www.math.cas.cz

We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly sat...

Emil Jerábek

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »