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
3931
search results - page 42 / 787
»
Separation logic and abstraction
Sort
relevance
views
votes
recent
update
View
thumb
title
124
click to vote
GG
2008
Springer
75
views
Theoretical Computer Science
»
more
GG 2008
»
A Modal-Logic Based Graph Abstraction
15 years 7 months ago
Download
www7.in.tum.de
Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...
claim paper
Read More »
122
click to vote
CORR
2010
Springer
134
views
Education
»
more
CORR 2010
»
Abstract Certification of Global Non-Interference in Rewriting Logic
15 years 6 months ago
Download
users.dsic.upv.es
Mauricio Alba-Castro, María Alpuente, Santi...
claim paper
Read More »
146
click to vote
ACS
2006
124
views
Distributed And Parallel Com...
»
more
ACS 2006
»
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
15 years 6 months ago
Download
voutsadakis.com
George Voutsadakis
claim paper
Read More »
194
click to vote
CORR
2006
Springer
126
views
Education
»
more
CORR 2006
»
Logic programs with monotone abstract constraint atoms
15 years 6 months ago
Download
www.cs.uky.edu
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
claim paper
Read More »
122
click to vote
JUCS
2008
159
views
more
JUCS 2008
»
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
15 years 6 months ago
Download
www.jucs.org
Anatol Slissenko, Pavel Vasilyev
claim paper
Read More »
« Prev
« First
page 42 / 787
Last »
Next »
