Current Trends in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

71

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812387837, 9789812562494

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ROADMAP OF INFINITE RESULTS

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0054 ◽

2004 ◽

pp. 337-350 ◽

Author(s):

JIŘÍ SRBA

Download Full-text

NEWMAN'S LEMMA – A CASE STUDY IN PROOF AUTOMATION AND GEOMETRIC LOGIC

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0050 ◽

2004 ◽

pp. 267-282 ◽

Author(s):

MARC BEZEM ◽

THIERRY COQUAND

Keyword(s):

Proof Automation ◽

Geometric Logic

Download Full-text

HOW TO FIND A COIN: PROPOSITIONAL PROGRAM LOGICS MADE EASY

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0047 ◽

2004 ◽

pp. 181-213 ◽

Author(s):

NIKOLAY V. SHILOV ◽

KWANG YI

Download Full-text

NEURAL COMPUTING

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0034 ◽

2004 ◽

pp. 633-659

Author(s):

HAVA T. SIEGELMANN

Keyword(s):

Neural Computing

Download Full-text

EVOLUTIONARY COMPUTATION: A GUIDED TOUR

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0032 ◽

2004 ◽

pp. 569-612

Author(s):

THOMAS BÄCK

Keyword(s):

Evolutionary Computation ◽

Download Full-text

DISTRIBUTED COMMUNICATION ALGORITHMS FOR AD-HOC MOBILE NETWORKS

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0019 ◽

2004 ◽

pp. 337-372

Author(s):

IOANNIS CHATZIGIANNAKIS ◽

SOTIRIS NIKOLETSEAS ◽

PAUL SPIRAKIS

Keyword(s):

Mobile Networks ◽

Ad Hoc ◽

Communication Algorithms ◽

Ad Hoc Mobile Networks ◽

Distributed Communication

Download Full-text

DERANDOMIZATION: A BRIEF OVERVIEW

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0012 ◽

2004 ◽

pp. 165-187 ◽

Author(s):

VALENTINE KABANETS

Download Full-text

THE DIVISION BREAKTHROUGHS

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0011 ◽

2004 ◽

pp. 147-164

Author(s):

ERIC ALLENDER

Download Full-text

INTRODUCTORY REMARKS

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0009 ◽

2004 ◽

pp. 123-123

Author(s):

Lance Fortnow

Download Full-text

ALGORITHM ENGINEERING

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0006 ◽

2004 ◽

pp. 83-104 ◽

Author(s):

CAMIL DEMETRESCU ◽

IRENE FINOCCHI ◽

GIUSEPPE F. ITALIANO

Keyword(s):

Algorithm Engineering

Download Full-text