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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
286
search results - page 13 / 58
»
On Modal Deductive Databases
Sort
relevance
views
votes
recent
update
View
thumb
title
15
click to vote
CSUR
1999
65
views
more
CSUR 1999
»
Deductive Database Languages: Problems and Solutions
13 years 7 months ago
Download
people.scs.carleton.ca
Mengchi Liu
claim paper
Read More »
17
click to vote
TODS
2002
66
views
more
TODS 2002
»
A logical foundation for deductive object-oriented databases
13 years 7 months ago
Download
reference.kfupm.edu.sa
Mengchi Liu, Gillian Dobbie, Tok Wang Ling
claim paper
Read More »
23
click to vote
ENTCS
2011
102
views
more
ENTCS 2011
»
DES: A Deductive Database System
13 years 2 months ago
Download
www.fdi.ucm.es
Fernando Sáenz-Pérez
claim paper
Read More »
18
click to vote
JAR
2010
92
views
more
JAR 2010
»
Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with
13 years 2 months ago
Download
www.mmrc.iss.ac.cn
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
claim paper
Read More »
16
click to vote
ICLP
2010
Springer
135
views
Automated Reasoning
»
more
ICLP 2010
»
Implementation Alternatives for Bottom-Up Evaluation
13 years 11 months ago
Download
drops.dagstuhl.de
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
Stefan Brass
claim paper
Read More »
« Prev
« First
page 13 / 58
Last »
Next »