• 08-2002-Lugiez-DalZilio.tree logic.pdf
  • Alechina.Path Constraints from a Modal Logic Point of View.pdf
  • BrownFuchRobieWadler01.msl.pdf
  • Caires.Cardelli.A Spatial Logic For Concurrency (Part II).A4.ps
  • Calcagno.Cardelli.Gordon.DecidingValidity.pdf
  • calcagno.decidability.separation.ps
  • Cardelli.Gordon.AnytimeAnywhere.A4.ps
  • CarGhe03-mscs.pdf
  • dalzilio.XMLSchema.RR-4631.ps
  • fanlibkin.XML.constraints.and.DTD.01xml.ps
  • HosoyaVouillonPierce.RegExpTypes.ps
  • index.html
  • klarlundSchwentickNeven.XMLLogic.ps
  • lozes.adjunct.pdf
  • martens.typechecking.pods04.pdf
  • milo.suciu.type.inference.pods99.ps
  • OHearn.Pym.logicofbunchedimpl99.ps
  • O'Hearn.Reynolds.Yang.localreasoning.ps
  • pym.onbunchedpredlogiclics.99.ps
  • schwentick.automata.pods04.1.pdf
  • schwentick.automata.pods04.2.pdf
  • schwentick.formalXML.edbt04.1.pdf
  • simeon.wadler.xml-essence.pdf
  • suciu.dbpl01-typechecking SSD.ps
  • tata.pdf
  • unified.constraints.for.XML.fankupersimeon.01.pdf
  • xduce-prelim.ps
  • xduce-toit.2003.ps
  • Yang.OHearn.semanticbasislocal.ps