Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria.

(Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-15-1249
Bibliographic ID of National Diet Library: 026155177

Material type: 図書

Author: International Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austria)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xxi, 490 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."The Vienna Summer of Logic ... consisted of twelve large conferences and 82 workshops, ..."--Foreword.

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319089171
331908917X
ISBN (error code): 9783319089188 (electronic bk.)
3319089188 (electronic bk.)
ISSN (series): 0302-9743
Title: Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria.
Series Title: Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8560.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: International Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austria)
Dowek, Gilles.
Kurt Godel Society.
International Conference on Typed Lambda Calculi and Applications (12th : 2014 : Vienna, Austria)
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xxi, 490 pages
Other physical details: illustrations
Size: 24 cm.
Alternative Title: Vienna summer of logic 2014
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Rewriting systems (Computer science)--Congresses.
Lambda calculus--Congresses.
Computer logic--Congresses.
Computer logic.
Lambda calculus.
Rewriting systems (Computer science)
LCC: QA267
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
"The Vienna Summer of Logic ... consisted of twelve large conferences and 82 workshops, ..."--Foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1249
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026155177
http://id.ndl.go.jp/bib/026155177
OCLC No.: 890850208
https://www.worldcat.org/oclc/890850208
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215