Search Sciweavers | Sciweavers

1341 search results - page 42 / 269

» Dynamic Testimonial Logic

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

14 years 2 days ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

14 years 2 days ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

click to vote

PADS
1996
ACM

104views Modeling and Simulation» more PADS 1996»

The Dynamic Load Balancing of Clustered Time Warp for Logic Simulation

14 years 2 days ago

Download www.cs.mcgill.ca

Hervé Avril, Carl Tropper

claim paper

Read More »

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

14 years 8 hour ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

click to vote

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Analyzing Logic Programs with Dynamic Scheduling

14 years 2 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers