Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia.

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

Call No. (NDL): M17-11-3213
Bibliographic ID of National Diet Library: 000011236096

Material type: 図書

Author: Ong, Luke.ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xii, 244 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers."ARCoSS" -- cover." (...) (TLCA 2011) , which was held (...) part of the 6th International Conference on Rewriting, Deduction, an...

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: 9783642216909
9783642216916 (e-ISBN)
ISSN: 1611-3349 (e-ISSN)
ISSN (series): 0302-9743
Title: Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia.
Series Title: Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science, 0302-9743 ; 6690.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: Ong, Luke.
International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia)
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xii, 244 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Lambda calculus -- Congresses.
Nonclassical mathematical logic -- Congresses.
Electronic books.
LCC: QA9.5
NDLC: M17
Note (General): Abstracts and papers.
"ARCoSS" -- cover.
" (...) (TLCA 2011) , which was held (...) part of the 6th International Conference on Rewriting, Deduction, and Programming (RDP 2011) , together with (...) (RTA 2011) , (...) (WRS 2011) , (...) (COBRA 2011) , (...) (TPDC 2011) , (...) (2FC 2011) , and the annual meeting of the IFIP Working Group 1.6 on Term Rewriting." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-3213
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011236096
http://id.ndl.go.jp/bib/000011236096
OCLC No.: 742515897
https://www.worldcat.org/oclc/742515897
Bibliographic Record Category (NDL): 215