| Document Date: 2004-10-28 08:33:50
Open Document File Size: 187,87 KBShare Result on Facebook
City Berlin / Cambridge / Uppsala / Vienna / / Company ACM Press / Microsoft / CONCUR / / Country Austria / United Kingdom / Sweden / / Currency pence / / / IndustryTerm uniform proof search / axiom systems / proof-search techniques / search space / proof search / proof-search complexity / security protocols / / OperatingSystem Sequent / Microsoft Windows / / Organization Universidad Politecnica de Valencia / Ecole Polytechnique / Cornell University / / Person Murdoch Gabbay / Murdoch J. Gabbay / Gopalan Nadathur / Andre Scedrov / Frank Pfenning / James Cheney / Horn Theorem / Luca Cardelli / Alwen Tiu / Maribel Fern / Ian Mackie / Caires Cardelli / Dale Miller / / / Position editor / clause logic programming language interpreter / representative / existing model / / ProgrammingLanguage FL / Prolog / / ProvinceOrState Florida / / PublishedMedium Formal Aspects of Computing / Lecture Notes in Computer Science / / Technology alpha / Functional Programming / security protocols / simulation / /
SocialTag |
A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique