Current Trends in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

55

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810214623, 9789812794499

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computational Geometry

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_others01 ◽

1993 ◽

pp. 1-2

Author(s):

H. Edelsbrunner

Keyword(s):

Computational Geometry

Download Full-text

L CODES AND L SYSTEMS WITH IMMIGRATION

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0046 ◽

1993 ◽

pp. 595-602 ◽

Cited By ~ 1

Author(s):

ARTO SALOMAA

Keyword(s):

L Systems

Download Full-text

WHAT EMIL SAID ABOUT THE POST CORRESPONDENCE PROBLEM

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0042 ◽

1993 ◽

pp. 563-571

Author(s):

ARTO SALOMAA

Keyword(s):

Correspondence Problem

Download Full-text

A Brief Guide to Linear Logic

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0027 ◽

1993 ◽

pp. 377-394 ◽

Cited By ~ 8

Author(s):

ANDRE SCEDROV

Keyword(s):

Linear Logic

Download Full-text

TOPOI AND COMPUTATION

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0023 ◽

1993 ◽

pp. 310-317

Author(s):

ANDREAS BLASS

Download Full-text

THE CHALLENGER-SOLVER GAME: VARIATIONS ON THE THEME OF P=NP

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0019 ◽

1993 ◽

pp. 245-253 ◽

Cited By ~ 3

Author(s):

YURI GUREVICH

Download Full-text

CONCEPTS AND COMPATIBILITY REQUIREMENTS FOR IMPLEMENTATIONS AND TRANSFORMATIONS OF SPECIFICATIONS

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0010 ◽

1993 ◽

pp. 133-148

Author(s):

Hartmut Ehrig

Download Full-text

ESF-Concepts Linked with Algebraic Module Specifications

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0008 ◽

1993 ◽

pp. 121-128

Author(s):

Hartmut Ehrig

Download Full-text

ON THE POTENTIAL ROLE OF ALGEBRAIC SPECIFICATION WITHIN COMPUTER SCIENCE

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_0002 ◽

1993 ◽

pp. 51-53

Author(s):

Hartmut Ehrig ◽

Peter Pepper

Keyword(s):

Computer Science ◽

Potential Role ◽

Algebraic Specification

Download Full-text

BACK MATTER

Current Trends in Theoretical Computer Science ◽

10.1142/9789812794499_bmatter ◽

1993 ◽

pp. 627-628

Author(s):

G. Rozenberg ◽

A. Salomaa

Download Full-text