Logic, Language and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540579354

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lifschitz's logic of calculable numbers and optimizations in program extraction

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032391 ◽

2005 ◽

pp. 1-9

Author(s):

Susumu Hayashi ◽

Yukihide Takayama

Keyword(s):

Program Extraction

Download Full-text

Conservativeness of Λ over λσ-calculus

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032395 ◽

2005 ◽

pp. 73-94

Author(s):

Masahiko Sato ◽

Yukiyoshi Kameyama

Download Full-text

A functional system with transfinitely defined types

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032393 ◽

2005 ◽

pp. 31-60

Author(s):

Mariko Yasugi ◽

Susumu Hayashi

Keyword(s):

Functional System

Download Full-text

On implicit arguments

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032392 ◽

2005 ◽

pp. 10-30 ◽

Cited By ~ 2

Author(s):

Masami Hagiya ◽

Yozo Toda

Keyword(s):

Implicit Arguments

Download Full-text

ML with first-class environments and its type inference algorithm

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032396 ◽

2005 ◽

pp. 95-116 ◽

Cited By ~ 5

Author(s):

Shin-ya Nishizaki

Keyword(s):

Type Inference ◽

Inference Algorithm

Download Full-text

Analysis of a software/hardware system by tense arithmetic

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032401 ◽

2005 ◽

pp. 188-205

Author(s):

Kohji Tomita ◽

Takashi Tsuji ◽

Shigeru Igarashi

Keyword(s):

Hardware System

Download Full-text

The non-deterministic catch and throw mechanism and its subject reduction property

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032394 ◽

2005 ◽

pp. 61-72 ◽

Cited By ~ 2

Author(s):

Hiroshi Nakano

Keyword(s):

Reduction Property

Download Full-text

Well-ordering of algebras and Kruskal's theorem

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032399 ◽

2005 ◽

pp. 133-172 ◽

Cited By ~ 6

Author(s):

Ryu Hasegawa

Keyword(s):

Kruskal’S Theorem

Download Full-text

The essence of program transformation by partial evaluation and driving

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032402 ◽

2005 ◽

pp. 206-224 ◽

Cited By ~ 19

Author(s):

Neil D. Jones

Keyword(s):

Program Transformation ◽

Partial Evaluation

Download Full-text

The logic of FOL systems: Formulated in set theory

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032398 ◽

2005 ◽

pp. 119-132

Author(s):

Richard W. Weyhrauch ◽

Carolyn Talcott

Keyword(s):

Set Theory

Download Full-text

Logic, Language and Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Lifschitz's logic of calculable numbers and optimizations in program extraction

Conservativeness of Λ over λσ-calculus

A functional system with transfinitely defined types

On implicit arguments

ML with first-class environments and its type inference algorithm

Analysis of a software/hardware system by tense arithmetic

The non-deterministic catch and throw mechanism and its subject reduction property

Well-ordering of algebras and Kruskal's theorem

The essence of program transformation by partial evaluation and driving

The logic of FOL systems: Formulated in set theory

Logic, Language and Computation - Lecture Notes in Computer Science
Latest Publications