Search Sciweavers | Sciweavers

5964 search results - page 91 / 1193

» A theory of speculative computation

108

click to vote

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

15 years 10 months ago

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

click to vote

MFCS
2007
Springer

70views Theoretical Computer Science» more MFCS 2007»

What Are Iteration Theories?

15 years 10 months ago

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

Jirí Adámek, Stefan Milius, Jiri Vel...

claim paper

Read More »

click to vote

ACMDIS
2004
ACM

102views Human Computer Interaction» more ACMDIS 2004»

Seamful interweaving: heterogeneity in the theory and design of interactive systems

15 years 10 months ago

Download www.dcs.gla.ac.uk

Matthew Chalmers, Areti Galani

claim paper

Read More »

112

click to vote

FOSSACS
2004
Springer

128views Software Engineering» more FOSSACS 2004»

Intruder Theories (Ongoing Work)

15 years 10 months ago

Download www.lsi.upc.es

Hubert Comon-Lundh

claim paper

Read More »

103

click to vote

LICS
2003
IEEE

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers