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
10871
search results - page 460 / 2175
»
A stable programming language
Sort
relevance
views
votes
recent
update
View
thumb
title
231
click to vote
ICLP
2009
Springer
118
views
Automated Reasoning
»
more
ICLP 2009
»
Debugging for Model Expansion
16 years 7 months ago
Download
www.mai.kuleuven.be
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
claim paper
Read More »
232
click to vote
CP
2009
Springer
99
views
Artificial Intelligence
»
more
CP 2009
»
Snake Lex: An Alternative to Double Lex
16 years 7 months ago
Download
www.cs.st-andrews.ac.uk
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
claim paper
Read More »
164
click to vote
ICALP
2009
Springer
90
views
Programming Languages
»
more
ICALP 2009
»
The Tile Complexity of Linear Assemblies
16 years 7 months ago
Download
www.cs.duke.edu
Harish Chandran, Nikhil Gopalkrishnan, John H. Rei...
claim paper
Read More »
131
click to vote
ICALP
2009
Springer
107
views
Programming Languages
»
more
ICALP 2009
»
Incompressibility through Colors and IDs
16 years 7 months ago
Download
www.ii.uib.no
Michael Dom, Daniel Lokshtanov, Saket Saurabh
claim paper
Read More »
150
click to vote
ICALP
2009
Springer
85
views
Programming Languages
»
more
ICALP 2009
»
A Graph Reduction Step Preserving Element-Connectivity and Applications
16 years 7 months ago
Download
tirion.cs.uiuc.edu
Chandra Chekuri, Nitish Korula
claim paper
Read More »
« Prev
« First
page 460 / 2175
Last »
Next »
