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

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

2007 ◽  
Author(s):  
GIOVANNI DI CRESCENZO ◽  
IVAN VISCONTI
Keyword(s):  
Public Key ◽  
Proofs Of Knowledge

MODELING FUZZY BEHAVIOURS IN CONCURRENT SYSTEMS

2007 ◽  
Author(s):  
LILIANA D'ERRICO ◽  
MICHELE LORETI
Keyword(s):  
Concurrent Systems

BACK MATTER

2007 ◽  

scholarly journals SEEING THE TREES AND THEIR BRANCHES IN THE NETWORK IS HARD

2007 ◽  
Author(s):  
I. A. KANJ ◽  
L. NAKHLEH ◽  
C. THAN ◽  
G. XIA

TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES

2007 ◽  
Author(s):  
D. ANCONA ◽  
G. LAGORIO ◽  
E. ZUCCA
Keyword(s):  
Type Inference

ANALYZING NON-INTERFERENCE WITH RESPECT TO CLASSES

2007 ◽  
Author(s):  
D. ZANARDINI

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

2007 ◽  
Author(s):  
RICCARDO DONDI ◽  
GUILLAUME FERTIN ◽  
STÉPHANE VIALETTE
Keyword(s):  
Pattern Matching ◽  
Connected Components ◽  
Colored Graphs

PROVING THE RANGE PROPERTY FOR LAMBDA THEORIES AND MODELS

2007 ◽  
Author(s):  
H. BARENDREGT
Load More ...
Sign in / Sign up

Export Citation Format

Share Document