TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
A total of 31 records were found in 0.141 seconds
Modeling Web Applications by the Multiple Levels of Integrity Policy
WWV, 161-175, 2005
Abstract Interpretation Based Semantics of Sequent Calculi
SAS, 38-57, 2000
Properties of the Lattice of Observables in Logic Programming
APPIA-GULP-PRODE, 175-188, 1997