Search Sciweavers | Sciweavers

842 search results - page 29 / 169

» Linear logic

click to vote

SEKE
2007
Springer

67views Software Engineering» more SEKE 2007»

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications

14 years 3 months ago

Download www.cs.utep.edu

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

claim paper

Read More »

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 3 months ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 3 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

ACMACE
2005
ACM

120views Human Computer Interaction» more ACMACE 2005»

Scenario analysis based on linear logic

14 years 3 months ago

Download armelle.prigent.free.fr

Frédéric Collé, Ronan Champag...

claim paper

Read More »

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers