Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Language With Finite Sets Embedded in the CLP-scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Data Base Research: A Survey

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1976English

Sound Computational Interpretation of Formal Encryption With Composed Keys

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Reachability Analysis for Some Models of Infinite-State Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Higher-Order Pushdown Trees Are Easy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Decision-Tree Based Neural Network (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Symbolic Reaching Definitions Analysis of Ada Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Bayes Net Toolkit for Student Modeling in Intelligent Tutoring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Throughput Utility Function: Assessing Network Impact on Mobile Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy