Item Details

Lfmtp '13 [electronic resource]: Proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA

sponsored by ACM SIGPLAN
Format
EBook; Book; Online
Published
New York : ACM, 2013.
Language
English
Variant Title
Logical Frameworks and Meta-Languages Theory and Practice '13 : proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : September 23, 2013, Boston, Massachusetts, United States of America
Proceedings of the eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages : Theory & Practice
Proceedings of the eighth Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice
ISBN
9781450323826 (print)
Description
Mode of access: World wide Web.
Notes
  • Includes index.
  • "Co-located with: ICFP '13".
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic

  • LEADER 02246nam a2200361 i 4500
    001 u6336263
    003 SIRSI
    005 20140708060627.0
    006 m d
    007 cr n
    008 140613s2013 nyu|||||s|||||1|1|||eng d
    020
      
      
    a| 9781450323826 (print)
    035
      
      
    a| (WaSeSS)ssj0001254532
    040
      
      
    a| WaSeSS b| eng c| WaSeSS d| WaSeSS
    050
      
    4
    a| QA76.63
    245
    0
    0
    a| LFMTP '13 h| [electronic resource] : b| proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA / c| sponsored by ACM SIGPLAN.
    246
    1
      
    a| Logical Frameworks and Meta-Languages Theory and Practice '13 : b| proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : September 23, 2013, Boston, Massachusetts, United States of America
    246
    1
      
    a| Proceedings of the eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages : b| Theory & Practice
    246
    1
      
    a| Proceedings of the eighth Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Logical Frameworks and Meta-Languages : b| Theory and Practice
    260
      
      
    a| New York : b| ACM, c| 2013.
    500
      
      
    a| Includes index.
    500
      
      
    a| "Co-located with: ICFP '13".
    538
      
      
    a| Mode of access: World wide Web.
    650
      
    0
    a| Logic programming v| Congresses.
    650
      
    0
    a| Logic, Symbolic and mathematical v| Congresses.
    655
      
    0
    a| Electronic books.
    710
    2
      
    a| ACM Special Interest Group on Programming Languages.
    710
    2
      
    a| ACM Digital Library
    776
    0
    8
    i| Print version: t| LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA. d| New York : ACM, 2013 z| 9781450323826
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0001254532&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6336263.1) w| WEB i| 6336263-1001 l| INTERNET m| UVA-LIB t| INTERNET

Availability

Google Preview

Read Online