Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
12745
search results - page 183 / 2549
»
Automating test automation
Sort
relevance
views
votes
recent
update
View
thumb
title
138
click to vote
ICLP
1998
Springer
92
views
Automated Reasoning
»
more
ICLP 1998
»
On the Representation and Management of Finite Sets in CLP Languages
15 years 10 months ago
Download
users.dimi.uniud.it
Agostino Dovier, Carla Piazza, Gianfranco Rossi, E...
claim paper
Read More »
139
click to vote
LOPSTR
1998
Springer
91
views
Automated Reasoning
»
more
LOPSTR 1998
»
Attempto Controlled English - Not Just Another Logic Specification Language
15 years 10 months ago
Download
attempto.ifi.uzh.ch
Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
claim paper
Read More »
127
click to vote
LICS
1997
IEEE
111
views
Automated Reasoning
»
more
LICS 1997
»
Bisimulation for Labelled Markov Processes
15 years 10 months ago
Download
www.brics.dk
Richard Blute, Josee Desharnais, Abbas Edalat, Pra...
claim paper
Read More »
137
click to vote
LICS
1997
IEEE
119
views
Automated Reasoning
»
more
LICS 1997
»
First-Order Logic with Two Variables and Unary Temporal Logic
15 years 10 months ago
Download
www.brics.dk
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
claim paper
Read More »
102
click to vote
LICS
1997
IEEE
84
views
Automated Reasoning
»
more
LICS 1997
»
Complete Cuboidal Sets in Axiomatic Domain Theory
15 years 10 months ago
Download
homepages.inf.ed.ac.uk
Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
claim paper
Read More »
« Prev
« First
page 183 / 2549
Last »
Next »
