Search Sciweavers | Sciweavers

1391 search results - page 13 / 279

» Completeness of Neighbourhood Logic

click to vote

CORR
2004
Springer

151views Education» more CORR 2004»

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version

13 years 7 months ago

Download www.cs.unipr.it

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...

Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...

claim paper

Read More »

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

14 years 2 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

14 years 2 months ago

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

14 years 2 months ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers