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
51692
search results - page 97 / 10339
»
is 2008
Sort
relevance
views
votes
recent
update
View
thumb
title
75
click to vote
ENTCS
2008
72
views
more
ENTCS 2008
»
Coalgebraising Subsequential Transducers
15 years 4 months ago
Download
www.win.tue.nl
Helle Hvid Hansen
claim paper
Read More »
102
click to vote
ENTCS
2008
81
views
more
ENTCS 2008
»
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
15 years 4 months ago
Download
cda.mrs.umn.edu
Elena Machkasova
claim paper
Read More »
101
click to vote
ENTCS
2008
80
views
more
ENTCS 2008
»
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
15 years 4 months ago
Download
www.bbraatz.eu
Benjamin Braatz
claim paper
Read More »
102
click to vote
ENTCS
2008
97
views
more
ENTCS 2008
»
Structured Types and Separation Logic
15 years 4 months ago
Download
www.ertos.nicta.com.au
Harvey Tuch
claim paper
Read More »
101
click to vote
ENTCS
2008
85
views
more
ENTCS 2008
»
Reachability in Petri Nets with Inhibitor Arcs
15 years 4 months ago
Download
www2-fs.informatik.uni-tuebingen.de
Klaus Reinhardt
claim paper
Read More »
« Prev
« First
page 97 / 10339
Last »
Next »
