Sciweavers

3864 search results - page 3 / 773

» time 2005

20

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

14 years 1 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

18

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 1 months ago

Temporal XML? SQL Strikes Back!

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

21

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

14 years 1 months ago

Real-Time Model Checking Is Really Simple

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

20

COCO
2005
Springer

89views Algorithms» more COCO 2005»

Better Time-Space Lower Bounds for SAT and Related Problems

14 years 1 months ago

Better Time-Space Lower Bounds for SAT and Related Problems

Download www.cs.cmu.edu

Ryan Williams

claim paper

Read More »

26

MEMBRANE
2005
Springer

103views Applied Computing» more MEMBRANE 2005»

Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness

14 years 28 days ago

Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness

Download combio.abo.fi

Artiom Alhazov

claim paper

Read More »

« Prev « First page 3 / 773 Last » Next »