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
8008
search results - page 20 / 1602
»
Computer-Aided Language Processing
Sort
relevance
views
votes
recent
update
View
thumb
title
123
click to vote
ICALP
1997
Springer
84
views
Programming Languages
»
more
ICALP 1997
»
Bisimulation Equivalence is Decidable for One-Counter Processes
15 years 10 months ago
Download
www.fi.muni.cz
Petr Jancar
claim paper
Read More »
123
click to vote
ICALP
1993
Springer
78
views
Programming Languages
»
more
ICALP 1993
»
Local Model Checking for Context-Free Processes
15 years 10 months ago
Download
www.cs.helsinki.fi
Hardi Hungar, Bernhard Steffen
claim paper
Read More »
120
click to vote
IFIP
1993
Springer
81
views
Programming Languages
»
more
IFIP 1993
»
Evaluation and Derivation of Process Plans in Turning
15 years 10 months ago
Download
deepblue.lib.umich.edu
Azza F. Barakat, Debasish Dutta
claim paper
Read More »
117
click to vote
IWOMP
2010
Springer
124
views
Programming Languages
»
more
IWOMP 2010
»
Topology-Aware OpenMP Process Scheduling
15 years 10 months ago
Download
www.ccs.tsukuba.ac.jp
Peter Thoman, Hans Moritsch, Thomas Fahringer
claim paper
Read More »
140
click to vote
HASKELL
2007
ACM
110
views
Programming Languages
»
more
HASKELL 2007
»
Uniform boilerplate and list processing
15 years 9 months ago
Download
community.haskell.org
Neil Mitchell, Colin Runciman
claim paper
Read More »
« Prev
« First
page 20 / 1602
Last »
Next »
