Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812770981, 9789812770998

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SEEING THE TREES AND THEIR BRANCHES IN THE NETWORK IS HARD

Theoretical Computer Science ◽

10.1142/9789812770998_0011 ◽

2007 ◽

Author(s):

I. A. KANJ ◽

L. NAKHLEH ◽

C. THAN ◽

G. XIA

Download Full-text

ON DEFINING PROOFS OF KNOWLEDGE IN THE BARE PUBLIC-KEY MODEL

Theoretical Computer Science ◽

10.1142/9789812770998_0020 ◽

2007 ◽

Author(s):

GIOVANNI DI CRESCENZO ◽

IVAN VISCONTI

Keyword(s):

Proofs Of Knowledge

Download Full-text

MODELING FUZZY BEHAVIOURS IN CONCURRENT SYSTEMS

Theoretical Computer Science ◽

10.1142/9789812770998_0012 ◽

2007 ◽

Author(s):

LILIANA D'ERRICO ◽

MICHELE LORETI

Keyword(s):

Concurrent Systems

Download Full-text

BACK MATTER

Theoretical Computer Science ◽

10.1142/9789812770998_bmatter ◽

2007 ◽

Download Full-text

THE MEASURE HYPOTHESIS AND EFFICIENCY OF POLYNOMIAL TIME APPROXIMATION SCHEMES

Theoretical Computer Science ◽

10.1142/9789812770998_0017 ◽

2007 ◽

Author(s):

M. HAUPTMANN

Keyword(s):

Polynomial Time ◽

Approximation Schemes ◽

Time Approximation ◽

Polynomial Time Approximation

Download Full-text

TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES

Theoretical Computer Science ◽

10.1142/9789812770998_0014 ◽

2007 ◽

Author(s):

D. ANCONA ◽

G. LAGORIO ◽

E. ZUCCA

Keyword(s):

Download Full-text

ANALYZING NON-INTERFERENCE WITH RESPECT TO CLASSES

Theoretical Computer Science ◽

10.1142/9789812770998_0009 ◽

2007 ◽

Author(s):

D. ZANARDINI

Download Full-text

WEAK PATTERN MATCHING IN COLORED GRAPHS: MINIMIZING THE NUMBER OF CONNECTED COMPONENTS

Theoretical Computer Science ◽

10.1142/9789812770998_0007 ◽

2007 ◽

Author(s):

RICCARDO DONDI ◽

GUILLAUME FERTIN ◽

STÉPHANE VIALETTE

Keyword(s):

Pattern Matching ◽

Connected Components ◽

Download Full-text

COMPUTING MINIMUM DIRECTED FEEDBACK VERTEX SET IN O*(1.9977n)

Theoretical Computer Science ◽

10.1142/9789812770998_0010 ◽

2007 ◽

Author(s):

IGOR RAZGON

Keyword(s):

Feedback Vertex Set ◽

Directed Feedback Vertex Set

Download Full-text

PROVING THE RANGE PROPERTY FOR LAMBDA THEORIES AND MODELS

Theoretical Computer Science ◽

10.1142/9789812770998_0002 ◽

2007 ◽

Author(s):

H. BARENDREGT

Download Full-text