We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
A Fixpoint Semantics for Stratified Databases
Inductive Learning
On Local StratifiabUity of Logic Programs and Databases
Validating Inductive Hypotheses by Mode Inference
Design Rationale for a Wide Spectrum Specification Language FGSPEC
Two New Strategies for Developing Loop Invariants and Their Applications
A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs
Nonterminating Rewritings with Head Boundedness
OOMMS:A Module Management System Based on an Object-Oriented Model
Deductive Fault Simulation Algorithm Based on Fault Collapsing
A Knowledge-Based Specification Technique for Protocol Development
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation