Search Sciweavers | Sciweavers

4978 search results - page 174 / 996

» Logical models of argument

Voted

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 10 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

BPM
2007
Springer

121views Business» more BPM 2007»

Inducing Declarative Logic-Based Models from Labeled Traces

15 years 10 months ago

Download bpm07.fit.qut.edu.au

Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...

claim paper

Read More »

104

click to vote

CMSB
2007
Springer

117views Applied Computing» more CMSB 2007»

Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

15 years 10 months ago

Download www.nesc.ac.uk

Aurélien Naldi, Denis Thieffry, Claudine Ch...

claim paper

Read More »

105

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 10 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

105

click to vote

LFCS
2007
Springer

85views Artificial Intelligence» more LFCS 2007»

Multiplexor Categories and Models of Soft Linear Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers