Вы здесь

Главная

SIGACT News

Связанные издания:

Animating Algorithms with XTANGO
A Simpler Analysis of Algorithm 65 (Find)
A Test for Fuzzy Logic
Commutative Regular Languages
Content-Free Languages
Formal Methods in Programming and Their Applications
How Hard Are n -Hard Problems?
On Lazy Natural Numbers with Applications to Computability Theory and Functional Programming
On the Peeper s Voronoi Diagram
On the State Complexity of Intersection of Regular Languages
Report on the Intern. Symp. on Theoretical Computer Science in Honor of BORIS A. TRAKHTENBROT on the Occasion of his Retirement and 70th Birthday
Some Notions on Notations
Technigue for Universal Quantification in SQL
Theory of Computing: Achievements, Challenges, and Opportunities
The P-Shovelers Problem (Computing with time-varying data)