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
4217
search results - page 84 / 844
»
Computational indistinguishability logic
Sort
relevance
views
votes
recent
update
View
thumb
title
135
click to vote
STACS
1998
Springer
87
views
Theoretical Computer Science
»
more
STACS 1998
»
Optimal Proof Systems for Propositional Logic and Complete Sets
15 years 10 months ago
Download
www.uni-ulm.de
Jochen Meßner, Jacobo Torán
claim paper
Read More »
168
click to vote
STACS
1998
Springer
105
views
Theoretical Computer Science
»
more
STACS 1998
»
Local Normal Forms for First-Order Logic with Applications to Games and Automata
15 years 10 months ago
Download
www.dmtcs.org
Thomas Schwentick, Klaus Barthelmann
claim paper
Read More »
144
click to vote
DAC
1992
ACM
100
views
Computer Architecture
»
more
DAC 1992
»
Recurrence Equations and the Optimization of Synchronous Logic Circuits
15 years 10 months ago
Download
si2.epfl.ch
Maurizio Damiani, Giovanni De Micheli
claim paper
Read More »
177
click to vote
MFCS
1993
Springer
115
views
Theoretical Computer Science
»
more
MFCS 1993
»
Completeness Results for Linear Logic on Petri Nets
15 years 10 months ago
Download
www.daimi.au.dk
Uffe Engberg, Glynn Winskel
claim paper
Read More »
122
click to vote
REX
1993
123
views
Logical Reasoning
»
more
REX 1993
»
Linear Logic on Petri Nets
15 years 10 months ago
Download
www.brics.dk
Uffe Engberg, Glynn Winskel
claim paper
Read More »
« Prev
« First
page 84 / 844
Last »
Next »
