Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540566106, 9783540475989

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On relating some models for concurrency

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_53 ◽

1993 ◽

pp. 15-30 ◽

Cited By ~ 6

Author(s):

Pierpaolo Degano ◽

Roberto Gorrieri ◽

Sebastiano Vigna

Download Full-text

Gate splitting in LOTOS specifications using abstract interpretation

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_81 ◽

1993 ◽

pp. 437-452 ◽

Cited By ~ 2

Author(s):

Fosca Giannotti ◽

Diego Latella

Keyword(s):

Abstract Interpretation

Download Full-text

Types as parameters

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_96 ◽

1993 ◽

pp. 658-670

Author(s):

Giuseppe Longo

Download Full-text

Linear unification of higher-order patterns

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_78 ◽

1993 ◽

pp. 391-405 ◽

Cited By ~ 10

Author(s):

Zhenyu Qian

Keyword(s):

Higher Order

Download Full-text

On the Ehrenfeucht-Fraïssé game in theoretical computer science

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_89 ◽

1993 ◽

pp. 559-568 ◽

Cited By ~ 32

Author(s):

Wolfgang Thomas

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer

Download Full-text

Term rewriting in CTΣ

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_83 ◽

1993 ◽

pp. 468-484 ◽

Cited By ~ 15

Author(s):

Andrea Corradini

Keyword(s):

Term Rewriting

Download Full-text

Associative-commutative discrimination nets

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_56 ◽

1993 ◽

pp. 61-74 ◽

Cited By ~ 23

Author(s):

Leo Bachmair ◽

Ta Chen ◽

I. V. Ramakrishnan

Download Full-text

Monads, indexes and transformations

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_73 ◽

1993 ◽

pp. 314-327

Author(s):

Françoise Bellegarde ◽

James Hook

Download Full-text

Directed column-convex polyominoes by recurrence relations

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_71 ◽

1993 ◽

pp. 282-298 ◽

Cited By ~ 3

Author(s):

Elena Barcucci ◽

Renzo Pinzani ◽

Renzo Sprugnoli

Keyword(s):

Recurrence Relations

Download Full-text

Applications of type theory

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development ◽

10.1007/3-540-56610-4_75 ◽

1993 ◽

pp. 343-355 ◽

Cited By ~ 3

Author(s):

Bernd Mahr

Keyword(s):

Type Theory

Download Full-text

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On relating some models for concurrency

Gate splitting in LOTOS specifications using abstract interpretation

Types as parameters

Linear unification of higher-order patterns

On the Ehrenfeucht-Fraïssé game in theoretical computer science

Term rewriting in CTΣ

Associative-commutative discrimination nets

Monads, indexes and transformations

Directed column-convex polyominoes by recurrence relations

Applications of type theory

Lecture Notes in Computer Science - TAPSOFT'93: Theory and Practice of Software Development
Latest Publications