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
6045
search results - page 212 / 1209
»
Computable Linearizations of Well-partial-orderings
Sort
relevance
views
votes
recent
update
View
thumb
title
115
click to vote
FOCS
1992
IEEE
100
views
Theoretical Computer Science
»
more
FOCS 1992
»
On the Second Eigenvalue and Linear Expansion of Regular Graphs
15 years 8 months ago
Download
userweb.cs.utexas.edu
Nabil Kahale
claim paper
Read More »
100
click to vote
REX
1993
123
views
Logical Reasoning
»
more
REX 1993
»
Linear Logic on Petri Nets
15 years 8 months ago
Download
www.brics.dk
Uffe Engberg, Glynn Winskel
claim paper
Read More »
109
click to vote
SAC
1993
ACM
118
views
Applied Computing
»
more
SAC 1993
»
Double- and Triple-Step Incremental Linear Interpolation
15 years 8 months ago
Download
bit.csc.lsu.edu
Phil Graham, S. Sitharama Iyengar
claim paper
Read More »
114
click to vote
FOCS
1990
IEEE
64
views
Theoretical Computer Science
»
more
FOCS 1990
»
Triangulating a Simple Polygon in Linear Time
15 years 8 months ago
Download
www.ime.usp.br
Bernard Chazelle
claim paper
Read More »
127
click to vote
FOCS
1997
IEEE
87
views
Theoretical Computer Science
»
more
FOCS 1997
»
Undirected Single Source Shortest Path in Linear Time
15 years 8 months ago
Download
www.diku.dk
Mikkel Thorup
claim paper
Read More »
« Prev
« First
page 212 / 1209
Last »
Next »