Search Sciweavers | Sciweavers

3044 search results - page 66 / 609

» Linear logical approximations

111

Voted

ENTCS
2008

101views more ENTCS 2008»

Model Checking Quantitative Linear Time Logic

15 years 3 months ago

Download people.na.infn.it

This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.

Marco Faella, Axel Legay, Mariëlle Stoelinga

claim paper

Read More »

104

click to vote

IGPL
2007

91views more IGPL 2007»

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

15 years 3 months ago

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

Voted

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

15 years 3 months ago

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

click to vote

ENTCS
2002

69views more ENTCS 2002»

Isolating Resource Consumption in Linear Logic Proof Search

15 years 3 months ago

Download www.cs.cmu.edu

Pablo López, Ernesto Pimentel, Joshua S. Ho...

claim paper

Read More »

click to vote

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers