Search Sciweavers | Sciweavers

1391 search results - page 13 / 279

» Completeness of Neighbourhood Logic

149

click to vote

CORR
2004
Springer

151views Education» more CORR 2004»

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

15 years 5 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 »

130

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 24 days ago

Download research.nii.ac.jp

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

claim paper

Read More »

133

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

16 years 19 days ago

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

154

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

16 years 15 days ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »

138

click to vote

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers