Oldest | Popular
PARCELLA '88 (0 replies, 12/24/87)
Solution to 2-D search problem (0 replies, 12/24/87)
ACM Publication policy (0 replies, 12/24/87)
SIGACT News Educational Forum (0 replies, 12/24/87)
Complexity of optimal addition chains (0 replies, 12/24/87)
"what is a good hash function for this problem" (0 replies, 01/09/88)
Fast way to update grids (0 replies, 01/27/88)
Correctness in parallel and distributed systems. (0 replies, 02/01/88)
Regular expression question (0 replies, 02/05/88)
automata (0 replies, 02/06/88)
A Variant of Bin Packing (0 replies, 02/21/88)
Martingales (1 reply, 04/03/88)
A copy of an out-of-print classic. (0 replies, 04/04/88)
Two theses on Hopfield nets available (0 replies, 04/08/88)
Clarification of maze problem (0 replies, 04/08/88)
Maze searching problem (6 replies, 04/09/88)
Modified Quad-Tree Algorithm (0 replies, 04/13/88)
Good sorting, scatter/gather on Cray, Alliant (0 replies, 04/27/88)
Call Graphs and Higher Order Functions (0 replies, 05/24/88)
Text in programming language semantics (0 replies, 01/03/89)
Semantics Bibliography has been compiled. (0 replies, 01/16/89)
Parallel Simulated Annealing / References and Are You Doing It? (0 replies, 04/14/89)
structure in DAG's (0 replies, 11/09/89)
Petri Nets and Priorities (0 replies, 11/09/89)
CFL Equivalence (0 replies, 11/09/89)
revised heapsort (1 reply, 11/10/89)
Problem in Group Theory (0 replies, 11/11/89)
minimum vertex-cover for 3-connected planar graphs (0 replies, 11/14/89)
request for tech. reports from u of london, cambridge and edinburgh (0 replies, 11/15/89)
Posets and Lattices (1 reply, 11/15/89)
Group Theory problem (0 replies, 11/18/89)
FST&TCS 89 conference: registration and local information (0 replies, 11/18/89)
Square Tiling (0 replies, 11/18/89)
Generating random graphs (1 reply, 11/19/89)
second DIMACS seminar of 89-90 (0 replies, 11/20/89)
CALL FOR PAPERS --International Workshop on Semantics for (0 replies, 11/22/89)
POPL 90 - Advance Program (0 replies, 11/22/89)
Topology of formal languages (0 replies, 11/23/89)
minimizing sum of k largest linear functions (0 replies, 11/26/89)
closest point to a polygone (1 reply, 11/28/89)
Call for Papers to MFCS '90 (0 replies, 11/28/89)
Dec. 11, DIMACS (0 replies, 11/28/89)
NSF Graduate Fellowship Panel (0 replies, 11/28/89)
Shannon-de Leeuw theorem (0 replies, 11/29/89)
Theory Day at Northeastern, January 19 (0 replies, 11/29/89)
Announcing REFAL (0 replies, 11/30/89)
Matrix Properties (2 replies, 11/30/89)
IBM-Cornell Workshop on Theory of Computing -- 11/30/89 (0 replies, 11/30/89)
Computers and Writing (0 replies, 11/30/89)
discrete logarithms (0 replies, 12/01/89)
Repost of "Revised Heapsort" requested (4 replies, 12/01/89)
subset construction (0 replies, 12/02/89)
Implementation of concurrent balanced trees needed (0 replies, 12/02/89)
computational complexity (2 replies, 12/02/89)
There are many different models for multidigit computation (0 replies, 12/02/89)
Summer School on Formal Methods for VLSI Design (0 replies, 12/04/89)
Help: Space-Economical Suffix Tree Construction Algorithm (0 replies, 12/05/89)
SODA registration info and forms (0 replies, 12/06/89)
STACS '90 (0 replies, 12/08/89)
Schmidt's VEC machine (0 replies, 12/08/89)
STACS: Sorting the sums (0 replies, 12/09/89)
ICCI 1990: FINAL (0 replies, 12/14/89)
US PhD programs strong on functional programming? (0 replies, 12/14/89)
maximize the euclidian norm (0 replies, 12/14/89)
Algorithmica (0 replies, 12/14/89)
Help with an NP-complete problem (0 replies, 12/15/89)
FOURTH WORKSHOP ON UNIFICATION (0 replies, 12/15/89)
Topology of Languages (1 reply, 12/15/89)
Maximum Weight Matchings in Non-Bipartite Graphs (1 reply, 12/15/89)
Integer gcd (3 replies, 12/15/89)
proof theory, semantics of constructive logic, and computation (0 replies, 12/16/89)
summary of replies to query about fp PhD programs (0 replies, 12/16/89)
Need PD theorem prover (0 replies, 12/18/89)
STUDY OF CONSCIOUSNESS WITHIN SCIENCE--INTL' CONFERENCE (0 replies, 12/19/89)
Rubik's Cube Problem (7 replies, 12/21/89)
Average running time of a simple algorithm (0 replies, 12/23/89)
Quantum communication thwarts eavesdroppers (0 replies, 12/27/89)
Sorry for mangled articles (0 replies, 12/27/89)
The strong force (2 replies, 12/28/89)
Bryant's algorithms (0 replies, 12/28/89)
TSR Programming (0 replies, 01/02/90)
TSRs (0 replies, 01/03/90)
SODA deadline (0 replies, 01/03/90)
polynomial interpolation (0 replies, 01/03/90)
Job Announcement (0 replies, 01/03/90)
The Universal Data Structure (1 reply, 01/04/90)
logarithms of algebraic numbers (0 replies, 01/05/90)
Maximum Weight Matching for non-bipartite graphs (0 replies, 01/05/90)
CFP: MFCS '90 (0 replies, 01/06/90)
extrapolation of weighted points in a plane (0 replies, 01/06/90)
PD theorem prover (0 replies, 01/06/90)
Summary of replies for PD theorem prover (2 replies, 01/07/90)
S. Wolfram and computational irreducibility (0 replies, 01/08/90)
Summary of response to Maximum Weight Matchings request. (0 replies, 01/09/90)
MS in algorithm analysis ? (0 replies, 01/09/90)
Fo:S. Wolfram and computational irreducibility (0 replies, 01/10/90)
Program Change in Northeastern's Theory Day, Jan. 19 (0 replies, 01/10/90)
Fellowship and job openings (0 replies, 01/10/90)
Horn clauses (3 replies, 01/10/90)
Knights Tour : Proof of Correctness (0 replies, 01/10/90)
Any previous work on space-efficient, time-efficient tries? (0 replies, 01/10/90)
SIGAL International Symposium on Algorithms, Tokyo, Japan, 1990 (0 replies, 01/10/90)
Max. Indep. Set (3 replies, 01/11/90)
Call for papers: COLT '90 (0 replies, 01/11/90)
Symp. on Principles of Database Systems (0 replies, 01/11/90)
Approx. string matching (1 reply, 01/12/90)
Help with a reference (0 replies, 01/12/90)
Parallel complexity reference needed (1 reply, 01/12/90)
Models of Lambda Calculus (2 replies, 01/12/90)
DISO 90 (0 replies, 01/13/90)
SIGUCCS CALL for PARTICIPATION (0 replies, 01/13/90)
Categorical Combinators (0 replies, 01/14/90)
Graph matching algorithms wanted (0 replies, 01/14/90)
Semantics & Provability (1 reply, 01/16/90)
ultra intelligent machines (0 replies, 01/16/90)
more Chinese Room (3 replies, 01/17/90)
Reasons why you don't prove your programs are correct (7 replies, 01/18/90)
REFERENCES on Reflection (0 replies, 01/18/90)
Another Change in the Northeastern University Theory Day Program (0 replies, 01/18/90)
Seminar, Tel Aviv University, Israel, Friday, Jan 19 (0 replies, 01/18/90)
Bipartite Subgraphs... (0 replies, 01/18/90)
Cube-Connected Cycles (0 replies, 02/02/90)
special issue of Algorithmica (0 replies, 02/03/90)
CA question (1 reply, 02/04/90)
optimization problem relevant to boolean functions and set theory (0 replies, 02/04/90)
Turing 1990 Colloquium, 3-6 April 1990, Sussex University (0 replies, 02/05/90)
NP, nondeterminism, etc. (0 replies, 02/05/90)
Maryland Theoretical Computer Science Day (0 replies, 02/05/90)
Complexity questions on linear logic (0 replies, 02/06/90)
textbook on data structures and algorithms (0 replies, 02/06/90)
P vs. NP solved? (0 replies, 02/06/90)
Logic Programming Summer School 1990 (0 replies, 02/06/90)
STACS '90, Rouen (0 replies, 02/07/90)
Parallel graph reduction and lambda calculus replies (0 replies, 02/07/90)
Academic legend (5 replies, 02/07/90)
Answers... (0 replies, 02/08/90)
50,000 digits of "e" (0 replies, 02/08/90)
Advance Program: Computational Geometry Conference, Berkeley, (0 replies, 02/09/90)
Structures Conference Preliminary Program (0 replies, 02/09/90)
Monkeys are NP-complete (2 replies, 02/10/90)
Not again (0 replies, 02/10/90)
PRG and lambda calculus (0 replies, 02/11/90)
S.E. defensive reply (0 replies, 02/11/90)
PODS-SIGMOD PROPOSAL (0 replies, 02/13/90)
More on Monkeys (0 replies, 02/13/90)
New BITNET address for IBM Almaden (0 replies, 02/13/90)
Reflections on 50,000 digits of "e" (1 reply, 02/13/90)
WOBCATS meeting on February 26, 1990 (0 replies, 02/13/90)
Proof theory (5 replies, 02/13/90)
Analyzed algorithm wanted. (0 replies, 02/13/90)
Japanese fuzzy-logic computers (0 replies, 02/14/90)
Design of FA's with a GUI (3 replies, 02/14/90)
Arithmetic Coding Compression (1 reply, 02/16/90)
Strict deterministic propositional dynamic logic (0 replies, 02/20/90)
hashing function for strings (1 reply, 02/21/90)
"occur check" (1 reply, 02/22/90)
parcella '90 call for papers (0 replies, 02/24/90)
String prefix matching (0 replies, 02/25/90)
1990 TURING COLLOQUIUM (0 replies, 02/26/90)
ICALP'90 Advance Programme (0 replies, 02/26/90)
Int'l Conf. on Database Theory - Call for Papers (0 replies, 02/27/90)
What if the Divisor is Negative? (5 replies, 02/27/90)
The 15th Theory Day at Columbia University (0 replies, 02/27/90)
Call for Papers Advances in Logic Programming and Automated (0 replies, 02/27/90)
matrices (1 reply, 02/27/90)
Folk Theorem: NC^1 and EREW PRAMs (0 replies, 02/28/90)
lower bound for FSA language inclusion... (0 replies, 02/28/90)
Primality Testing (0 replies, 03/01/90)
partition into isomorphic subgraphs (1 reply, 03/01/90)
Modulus (29 replies, 03/01/90)
Looking for roommate during DMCC5 at Charleston, SC, April 9-12 (0 replies, 03/02/90)
Job Openings at Bell Labs (0 replies, 03/02/90)
TCS Olympiad (0 replies, 03/02/90)
Summary of responses: EREW PRAMs vs NC^1 (0 replies, 03/02/90)
Reductions from problems to MIS, VC or Max. clique (0 replies, 03/03/90)
How much precision does Mandelbrot need (2 replies, 03/04/90)
Gray-Codes (0 replies, 03/05/90)
Hamiltonian circuits in complements of line graphs (0 replies, 03/05/90)
MINDS & MACHINES: NEW JOURNAL--CALL FOR PAPERS (0 replies, 03/05/90)
polynomials (2 replies, 03/06/90)
geometry problem (1 reply, 03/07/90)
ACM Symp. on Principles of Database Systems - Preregistration (0 replies, 03/07/90)
GRG Seminar Series (1 reply, 03/07/90)
Cardioid problems (0 replies, 03/07/90)
References on memoisation (0 replies, 03/15/90)
finding all cycles in a directed graph (1 reply, 03/16/90)
gray codes (0 replies, 03/17/90)
Questions on BNF. (1 reply, 03/17/90)
finding all cycles in a directed gr (0 replies, 03/17/90)
Looking for an algorithm (0 replies, 03/19/90)
Homework problems? (5 replies, 03/20/90)
DIMACS (1 reply, 03/21/90)
An NP-Complete Problem? (2 replies, 03/21/90)
Knapsack problem (0 replies, 03/22/90)
Mathematical Foundations of Database & Knowledge Base Systems (0 replies, 03/22/90)
ICALP 91 - Call for Papers (0 replies, 03/22/90)
1990 ACM STOC Program (0 replies, 03/22/90)
MSc in Computing Science (0 replies, 03/22/90)
Interval graphs (0 replies, 03/23/90)
Smallest circle around n points in space. (12 replies, 03/28/90)
Weekend Meeting (0 replies, 04/07/90)
Summary of Matching Algorithm responses (0 replies, 04/08/90)
Word Origins (0 replies, 04/09/90)
Travelling salesman problem and neural nets (0 replies, 04/10/90)
Definition wanted: a kind of entropy (0 replies, 04/11/90)
LPSS '90 (0 replies, 04/11/90)
Pointers to literature (0 replies, 04/11/90)
Wanted: references on routing algorithms. (3 replies, 04/11/90)
Reed Solomon Decoders (3 replies, 04/13/90)
efficient algorithm for generating permuations (3 replies, 04/14/90)
Question on Restricted Quantification Logic (0 replies, 04/14/90)
Ref for Jonker-Volgenant algorithm wanted. (1 reply, 05/04/90)
Mailbox multitasking system (1 reply, 05/28/90)
SIGAL Symposium 1990 (0 replies, 05/30/90)
request (0 replies, 05/30/90)
Splitting FOCS (3 replies, 05/30/90)
ray tracing problems (0 replies, 05/31/90)
Prof David Benson... (0 replies, 05/31/90)
Wanted: Probabilistic algorithm references (0 replies, 06/01/90)
New Logic/CS Journal (0 replies, 06/01/90)
Tree Rotation Distance (1 reply, 06/01/90)
Request for bibilographic references: denotational semantics (2 replies, 06/01/90)
dual graphs and co-automata (0 replies, 06/01/90)
SAT in _Computers & Intractability_ (3 replies, 06/01/90)
CACM (0 replies, 06/02/90)
Second Order Presburger (0 replies, 06/04/90)
shannon's switching game (2 replies, 06/04/90)
Structures Registration Deadline (0 replies, 06/05/90)
PODC'90 (0 replies, 06/05/90)
Finding subsets of equations (7 replies, 06/05/90)
regularity conditions (0 replies, 06/06/90)
request:formal lang. for OO-concepts (0 replies, 06/06/90)
Article of interest in this month's issue of CACM (1 reply, 06/08/90)
Approximation to Knapsack (0 replies, 06/08/90)
Conference Announcement (0 replies, 06/09/90)
looking for Karsten Verbeurgt (0 replies, 06/11/90)
Favorite hashing algorithms (0 replies, 06/13/90)
NY Times article on IP=PSPACE resul (0 replies, 06/27/90)
NY Times article on IP=PSPACE result (0 replies, 06/28/90)
Is there a CFL not accepted by 2-DPDA? (1 reply, 06/28/90)
Is a public key system a Zero Knowledge Proof? (0 replies, 06/28/90)
Representation Theory (0 replies, 06/29/90)
Wanted: references on fault-tolerance (0 replies, 06/29/90)
Crypto-90 program (0 replies, 07/02/90)
Special Issue on Cryptology (0 replies, 07/02/90)
call for papers -- Algorithmica Special Issue (0 replies, 07/02/90)
stack automata. clarification. (0 replies, 07/02/90)
Positions at U. T. D. (0 replies, 07/02/90)
Integer partitioning (1 reply, 07/03/90)
Entropy and time in computers (1 reply, 07/04/90)
ALGEBRAIC AND LOGIC PROGRAMMING (0 replies, 07/04/90)
Looking for Algorithm for Computing Vornoi Tesselations (0 replies, 07/05/90)
fuzzy logic - sources, information, ideas (0 replies, 07/06/90)
Re^2: Question About the Four Color Proof (1 reply, 07/10/90)
Fast pattern recognition (0 replies, 07/11/90)
LICS '91 -- Call for Papers (0 replies, 07/11/90)
TACS '91 -- Call for Papers (0 replies, 07/11/90)
Combinatorial algorithms texts? (0 replies, 07/11/90)
Reference sought for graph embedding problem (0 replies, 07/11/90)
finding cutsets fast (0 replies, 07/11/90)
Axiomatic Semantics (0 replies, 07/13/90)
MFDBS-91 (0 replies, 07/14/90)
Re^6: Question About the Four Color Proof (2 replies, 07/14/90)
assessment of Decker's "Data Structures" text (0 replies, 07/14/90)
Question About the Four Color Proof (6 replies, 07/16/90)
Performance Analysis of X windows (0 replies, 07/17/90)
Rivest on F9 factoring (0 replies, 07/17/90)
Graph isomorphism alg. ? (1 reply, 07/18/90)
factoring a large prime (5 replies, 07/18/90)
Hashing help needed (4 replies, 07/18/90)
Int Workshop on Distributed Algorithms (0 replies, 07/18/90)
PODC Hotel Deadline (0 replies, 07/18/90)
Average case compl. = Worst case compl. under the universal (0 replies, 07/18/90)
Call for Papers: MFPS91 (0 replies, 07/19/90)
STACS 91: Call for Papers and Systems (1 reply, 07/20/90)
Who is doing program correctness/proofs? (0 replies, 07/21/90)
Change of Address Addendum (0 replies, 07/21/90)
2nd CCCG program (0 replies, 07/23/90)
Request for help: Data Structures (0 replies, 07/25/90)
words problem in commutative semi-groups (1 reply, 07/25/90)
Textbook on Automata Theory (0 replies, 07/25/90)
Workshop on Logic Programming & Non-Monotonic Reaoning (0 replies, 07/26/90)
Special Issue Call for Papers (0 replies, 07/27/90)
Combinatorial algorithms texts (0 replies, 07/27/90)
PP is closed under intersection (0 replies, 07/27/90)
Re^4: Question About the Four Color Proof (9 replies, 07/27/90)
Statistical analysis of programs (0 replies, 07/27/90)
WDAG-4 Program (0 replies, 07/27/90)
Request for a Combinatorial algorithm (0 replies, 07/29/90)
Travel Expense Resources for Graduate Students (0 replies, 07/30/90)
More On Travel Expenses.... (0 replies, 07/30/90)
Graph isomorphism, summary (0 replies, 07/30/90)
Aux DPDA (0 replies, 07/30/90)
Splay Trees (0 replies, 07/31/90)
trying to reach Mitsunori Ogiwara (0 replies, 07/31/90)
Roommate for PODC 90 (0 replies, 07/31/90)
Permanents and determinants (1 reply, 07/31/90)
LP and Non-Monotonic Reasoning Workshop (0 replies, 07/31/90)
Actual use of formal semantics in languages (2 replies, 07/31/90)
Sequencing variant problem (0 replies, 08/01/90)
What #P is (0 replies, 08/01/90)
Conditional equational reasoning - reference (0 replies, 08/01/90)
STOC/FOCS BIBLIOGRAPHY: Last Call! (0 replies, 08/02/90)
Call For Submissions: NACLP Workshop on Deductive Databases (0 replies, 08/02/90)
Dyck sets (0 replies, 08/03/90)
RA wanted in temporal logic at Newcastle (0 replies, 08/04/90)
Infinite games (2 replies, 08/04/90)
Software specifications (0 replies, 08/06/90)
Logic/Computability texts for CS types? (0 replies, 08/06/90)
I need info about Linpack (0 replies, 08/07/90)
Recursive games (0 replies, 08/07/90)
Address for I. Wegener (0 replies, 08/09/90)
Logic/Computability texts for CS types - SUMMARY (0 replies, 08/09/90)
Bulletin of the EATCS (2 replies, 08/13/90)
Seeking 2SAT algorithm (0 replies, 08/13/90)
Algorithm testing (0 replies, 08/14/90)
Math Logic (2 replies, 08/14/90)
AMAST'91 Call for Papers - Theorynet Distribution (0 replies, 08/14/90)
AMAST '91 Call for Papers (0 replies, 08/14/90)
AMAST '91 -- Announcement (0 replies, 08/14/90)
ICCI call for papers (0 replies, 08/14/90)
Petri Nets and performance modeling (0 replies, 08/14/90)
A B-Trees query (0 replies, 08/14/90)
Question on rec. program schemes (0 replies, 08/14/90)
Program correctness/proofs --SUMMARY (1 reply, 08/15/90)
JCIT-5 Information (0 replies, 08/15/90)
JCIT-5 Program (0 replies, 08/15/90)
Call for papers: SIGMOD 91 (1 reply, 08/15/90)
CFP - Computer Aided Verification, 1991 (0 replies, 08/16/90)
Seeking reference for formal definition of "wicked" in complexity (0 replies, 08/17/90)
unusual recursive factoring algorithm in C (0 replies, 08/17/90)
Generating Source Code out of Algebra (0 replies, 08/17/90)
Data Structures in Scientific Programming (0 replies, 08/17/90)
complexity theory/computability (0 replies, 08/20/90)
CFL containment (0 replies, 08/20/90)
Intro Category Theory? (10 replies, 08/22/90)
Coping with Complexity (0 replies, 08/22/90)
Call for papers: PODS 91 (1 reply, 08/25/90)
theoryday (0 replies, 08/25/90)
Procedures with multiple out parameters: why not? (10 replies, 08/27/90)
Refs. in Parallel Planning (1 reply, 08/27/90)
3n+1 (2 replies, 08/28/90)
Data compression ? (1 reply, 08/28/90)
Site for STOC '92 needed!! (0 replies, 08/30/90)
Relocation (0 replies, 08/30/90)
Full Professorship in Theor. Comp. Ling. at the Univ. of Stuttgart (0 replies, 09/01/90)
Planar graph embedding (4 replies, 09/03/90)
Third formal power series and algebraic combinatorics (0 replies, 09/03/90)
chopping & symmetric rounding (0 replies, 09/04/90)
New Address (0 replies, 09/04/90)
Call for papers: Structure in Complexity Theory Conference (0 replies, 09/05/90)
Wanted: Vectorization Algorithm (0 replies, 09/05/90)
Vertex Disjoint Paths in a graph (1 reply, 09/07/90)
A Handbook On Graph Theory? (0 replies, 09/07/90)
Planar Graph Layout (0 replies, 09/08/90)
Call for Papers on I/O issues (0 replies, 09/08/90)
The first DIMACS of 1990-91 (0 replies, 09/08/90)
Address of M. Tchuente (0 replies, 09/10/90)
PEPM call for papers (0 replies, 09/10/90)
Syntax for multiple output returns (0 replies, 09/11/90)
PARLE 91 Conference (0 replies, 09/11/90)
Why not multiple out parameters? (0 replies, 09/12/90)
wanted : tractable satisfiability (1 reply, 09/12/90)
Why not multiple out parameters? again (12 replies, 09/12/90)
Intro. Computer Science textbook (0 replies, 09/13/90)
Data compression (1 reply, 09/13/90)
Heuristic for minimum-length generator sequence? (0 replies, 09/14/90)
Genetic Algorithms (1 reply, 09/14/90)
Turing machine simulator? (3 replies, 09/14/90)
clique covering (0 replies, 09/14/90)
Network reliability? (0 replies, 09/14/90)
Workshop on Data Structures and Algorithms (0 replies, 09/17/90)
Open Theory Positions (0 replies, 09/17/90)
FOCS registration (0 replies, 09/17/90)
Textbook for Intro. Comp. Theory course (2 replies, 09/18/90)
COLT'91 Call For Papers (1 reply, 09/18/90)
Workshop on distributed DD (0 replies, 09/18/90)
Book on Visual Mathematics (0 replies, 09/18/90)
What is unification? (0 replies, 09/18/90)
CFG-squared grammars: Your challenge of the day. (0 replies, 09/19/90)
Outer Join Implementations (0 replies, 09/19/90)
Lambda Calculus with Pointers: Tomorrow's Challenge. (3 replies, 09/20/90)
General Graph Matching Code Needed (0 replies, 09/20/90)
Looking for pointers to fairness algorithms (0 replies, 09/20/90)
Network flow problem (0 replies, 09/21/90)
P=NP message in sci.math (1 reply, 09/21/90)
DOOD Call for papers (0 replies, 09/22/90)
1991 COLT Call For Papers (0 replies, 09/23/90)
DIMACS Cryptography Workshop Program (0 replies, 09/24/90)
FSTTCS Conference Programme (0 replies, 09/24/90)
Postdocs (0 replies, 09/24/90)
tech reports (0 replies, 09/24/90)
Email address of Ibaraki/Nagamochi (0 replies, 09/24/90)
clique covering on transitive graphs (0 replies, 09/25/90)
comp. geometry (2 replies, 09/25/90)
Workshop on Algorithmic Research in the Midsouthwest (0 replies, 09/25/90)
JOURNAL OF IDEAS (0 replies, 09/25/90)
change of address (3 replies, 09/25/90)
A couple of questions for computational geometers (0 replies, 09/25/90)
The time complexity of Maximum Matching (0 replies, 09/26/90)
MIAN online (1 reply, 09/26/90)
3n + 1 problem, in what sense is it undecidable. (0 replies, 09/26/90)
Oracle machines (0 replies, 09/26/90)
job as Chairman (0 replies, 09/26/90)
generating 3sat of known difficulty (1 reply, 09/26/90)
Complexity of the NEGATIVE-DIRECTED-SIMPLE-PATH problem (0 replies, 09/27/90)
FOCS registration!!! (0 replies, 09/27/90)
3n + 1 problem (3 replies, 09/27/90)
HELP: references on graph distance properties (0 replies, 09/28/90)
Summary: Tarjan, et. al./Data Structures (0 replies, 09/28/90)
Research positions in Queensland, Australia (0 replies, 09/28/90)
C code for splay trees (1 reply, 09/28/90)
data structures of Tarjan, et.al an (4 replies, 09/29/90)
comp geometry problem (0 replies, 10/01/90)
data structures of Tarjan, et.al and actual applications? (6 replies, 10/01/90)
References on graph distance properties (0 replies, 10/02/90)
Call for Papers - Data Compression Conference '91 (0 replies, 10/03/90)
2nd Call for Papers - AMAST'91, Latex version (0 replies, 10/03/90)
2nd Call for Papers - AMAST'91, Ascii version (0 replies, 10/03/90)
Call for Geometry Papers (0 replies, 10/03/90)
Accepted Papers for SODA -1991 (0 replies, 10/03/90)
Program: Workshop on Logic Prog. & Non-Monotonic Reasoning (0 replies, 10/03/90)
Graduate Course on Distributed Computing/Systems (0 replies, 10/04/90)
Result: NDSP is NP-complete. (0 replies, 10/04/90)
Directed Steiner tree problem (0 replies, 10/04/90)
RIAO 91: CALL FOR PAPERS (0 replies, 10/05/90)
NACLP'90 Workshop on Deductive Databases (0 replies, 10/05/90)
Connected components of AND/OR graphs (0 replies, 10/05/90)
Huffmann compression string length question (0 replies, 10/06/90)
Distributed Memory Computing (0 replies, 10/06/90)
Call for Discussion: comp.japan.research (0 replies, 10/08/90)
Theory positions (0 replies, 10/09/90)
Reference for feedback arc set problem in planar digraphs (0 replies, 10/10/90)
address (0 replies, 10/10/90)
TR request (0 replies, 10/10/90)
Finding Median of $n$, $n$ SMALL. (0 replies, 10/11/90)
Looking for the person named J. Halpern (0 replies, 10/12/90)
Non-Horn-Clause Logic Programming Workshop (0 replies, 10/12/90)
IEEE Symposium on Parallel and Distributed Processing (0 replies, 10/16/90)
DIMACS - visiting positions (0 replies, 10/16/90)
Program Derivation Textbook Suggestions?? (0 replies, 10/16/90)
STOC '91 submissions (0 replies, 10/17/90)
PODC '91 Call for Papers (0 replies, 10/17/90)
FSTTCS 90 Programme and Registration Form (0 replies, 10/17/90)
Room to share at FOCS 90 (1 reply, 10/17/90)
Polytechnic University -- Head, Department of (0 replies, 10/17/90)
IEEE PDP symposium -- roommate wanted (0 replies, 10/17/90)
special seminar (0 replies, 10/18/90)
email (0 replies, 10/18/90)
Parallel Parsing? (2 replies, 10/19/90)
SIGACT News reminder (1 reply, 10/20/90)
Center for Discrete Mathematics and Theoretical Computer Science (0 replies, 10/20/90)
ICCI'91 call for papers (0 replies, 10/20/90)
Scheduling Info sought (1 reply, 10/22/90)
Weighted matching (0 replies, 10/22/90)
CAYLEY Program ? (1 reply, 10/22/90)
need 3-connectivity program (0 replies, 10/22/90)
graph grammars (1 reply, 10/22/90)
Reminder for STOC-91 deadline (0 replies, 10/24/90)
satisfiability satisfied (1 reply, 10/24/90)
SUMMARY: Parallel Parsing (0 replies, 10/25/90)
Converting FSMs to Queueing networks (0 replies, 10/25/90)
K-TREES (0 replies, 10/25/90)
Fifteenth Computational Geometry Day Announcement (0 replies, 10/25/90)
Handbook of TCS (0 replies, 10/26/90)
Theory Day in Wuerzburg (0 replies, 10/26/90)
corrected version Fifteenth Computational Geometry Day (0 replies, 10/26/90)
Reference needed on partition graph into modules (0 replies, 10/27/90)
references on philosophers problem (1 reply, 10/29/90)
EATCS-Bulletin No. 42 (0 replies, 10/29/90)
DIMACS on December 10, 1990 (0 replies, 10/30/90)
Call for Votes: comp.research.japan (0 replies, 10/30/90)
refs for graph problem wanted (0 replies, 10/31/90)
mapping surfaces into discrete representations (0 replies, 10/31/90)
A few good words for a graph layout program (0 replies, 10/31/90)
MFCS'91 (0 replies, 10/31/90)
Book announcement (0 replies, 11/01/90)
Best n-Puzzle Algorithms? (0 replies, 11/01/90)
CAYLEY Info (0 replies, 11/02/90)
Int'l Symposium on Algorithms in Taiwan, 1991... (0 replies, 11/02/90)
DIMACS Workshop on structural Complexity (0 replies, 11/02/90)
Queens problem (0 replies, 11/02/90)
Bounds for sorting algorithms (0 replies, 11/05/90)
CFP - Intl. Conf. on Manufacturing Automation 1992 Hong Kong (0 replies, 11/05/90)
SEQUENCES 91 TEX file (0 replies, 11/05/90)
faculty positions available at SUNY Buffalo (0 replies, 11/06/90)
List of books (0 replies, 11/06/90)
Address list for FOCS 90 -- The text version (0 replies, 11/06/90)
Levenshtein distance (0 replies, 11/06/90)
Multidimensional trees and lists (0 replies, 11/06/90)
SUMMARY: path properties of graphs (0 replies, 11/07/90)
NIPS 90 proceedings (0 replies, 11/07/90)
Tenure track position, Computer Science, Stanford (0 replies, 11/07/90)
Graph partition code needed (1 reply, 11/07/90)
A Complexity Question... (0 replies, 11/08/90)
Error detecting codes (0 replies, 11/08/90)
TEACHING POSITIONS (0 replies, 11/08/90)
IP=PSPACE (0 replies, 11/08/90)
Wanted: Bloom Filter Implementation (0 replies, 11/09/90)
word problem in commutative semigroups (0 replies, 11/09/90)
SUMMARY: path length properties (0 replies, 11/10/90)
CRYPTO '91 -- Call for Papers (0 replies, 11/10/90)
DIMACS Call for Participation (0 replies, 11/10/90)
23rd Midwest Theory Consortium... (0 replies, 11/10/90)
4th TCS day at Maryland (0 replies, 11/10/90)
Parallel algorithms text (2 replies, 11/14/90)
kth permutation (0 replies, 11/15/90)
"Models of Computation" course syllabus (2 replies, 11/15/90)
Japanese-owned research labs in US (5 replies, 11/16/90)
literatur hints (0 replies, 11/16/90)
First Intl. Wkshp. on Logic Prog. & Non-Monotonic Reasoning (0 replies, 11/16/90)
making rules out of equations (0 replies, 11/16/90)
SEQUENCES '91 (0 replies, 11/17/90)
Faculty Position (0 replies, 11/17/90)
Easy as pi (0 replies, 11/17/90)
Operational Semantics (1 reply, 11/17/90)
network flow (0 replies, 11/19/90)
Parallel Algo's for Triangulation (0 replies, 11/19/90)
"Models of Computation" course cancelled (0 replies, 11/20/90)
complexity (0 replies, 11/20/90)
Tenure track positions, Computer Science, University of London (0 replies, 11/21/90)
Polytechnic University -- Computer Science Faculty Positions (0 replies, 11/21/90)
Faculty positions available (0 replies, 11/21/90)
A request for temporal logic tools (0 replies, 11/22/90)
Full Binary Trees (1 reply, 11/22/90)
Open problem??? (0 replies, 11/22/90)
Query: cactus stacks (0 replies, 11/22/90)
question on minimized boolean functions (0 replies, 11/23/90)
Looking for references on neural nets and chomsky hierachy models of computation (0 replies, 11/24/90)
Help! (3 replies, 11/26/90)
Alexander Razborov (1 reply, 11/26/90)
parallel permutation (0 replies, 11/26/90)
Brochure for SODA-91 (0 replies, 11/26/90)
Second annual International Symposium on Algorithms - Call for (0 replies, 11/26/90)
A couple of references requested (1 reply, 11/27/90)
Stash Collection (0 replies, 11/27/90)
Open problem??? Voronoi diag of sorted pts (0 replies, 11/27/90)
Help needed in designing new course (0 replies, 11/27/90)
The Height of Recursive Trees, asking for help. (0 replies, 11/27/90)
The Height of Recursive Trees. (0 replies, 11/27/90)
What are the foundations of CS? (0 replies, 11/29/90)
random graphs (0 replies, 12/01/90)
A Tiling Problem - Is is NPC? (0 replies, 12/01/90)
WORKSHOP ANNOUNCEMENT (2 replies, 12/01/90)
Large pairs of primes (3 replies, 12/01/90)
Publication announcement - by B. Courcelle and M. Mosbah (1 reply, 12/02/90)
Insertion Methods for TSP (0 replies, 12/03/90)
Simluation Model Info Requested (0 replies, 12/03/90)
partitioning problem (4 replies, 12/03/90)
Errata: (0 replies, 12/03/90)
Abstract Machines; References to ~ (1 reply, 12/03/90)
Vote results: comp.research.japan (0 replies, 12/03/90)
Real-Time & Fault-Tolerance (0 replies, 12/03/90)
test (1 reply, 12/04/90)
Wanted --- Traveling Salesman Problem data (1 reply, 12/04/90)
2-way automata on Infinite Trees (0 replies, 12/04/90)
Looking for sources for NETGEN program (0 replies, 12/04/90)
First International Conference on parallel and distributed (0 replies, 12/05/90)
Help!! (0 replies, 12/05/90)
Wanted: Good alg for Ln, sin, exp, etc (0 replies, 12/05/90)
Sources for S. Lin and B.W. Kernighan's TSP heuristic (0 replies, 12/06/90)
Wanted: Good alg for log... (0 replies, 12/06/90)
Request References-Randomized Median Finding (0 replies, 12/06/90)
Symbolic evaluation methods (1 reply, 12/06/90)
Complexity of Optimization Problems - References Wanted (0 replies, 12/07/90)
ICANN-91 DEADLINE (0 replies, 12/07/90)
Non recursive "Towers of Hanoi" (10 replies, 12/07/90)
Wanted: Intro to Linear Logic (3 replies, 12/08/90)
Recursive Tree (1 reply, 12/09/90)
FOCS Mailing List (0 replies, 12/10/90)
CALL FOR DISCUSSION: comp.theory.abstracts (0 replies, 12/10/90)
Talks by C.L.Liu in NY Metro Area (0 replies, 12/10/90)
ordering permutations (0 replies, 12/11/90)
Parallel algorithms texts - summary (0 replies, 12/11/90)
email address of Prof. Laxmi Bhuyan (0 replies, 12/11/90)
PI and all that Jazz (0 replies, 12/12/90)
EATCS membership -- address wanted (0 replies, 12/12/90)
Looking for Software Packages for Linear Programming (0 replies, 12/13/90)
Math for CS research (0 replies, 12/13/90)
I need some info... (0 replies, 12/14/90)
Database on-line. Results disappointed. (0 replies, 12/15/90)
Journal database. Correction. (1 reply, 12/17/90)
Minimizing sum of vectors; PARTITION; Help needed! (1 reply, 12/17/90)
Distributed algorithms textbooks - request (0 replies, 12/17/90)
3CCCG (0 replies, 12/18/90)
Database. Correction. (0 replies, 12/18/90)
Results of a temporal logic tools query (0 replies, 12/18/90)
Found: Math for CS research (0 replies, 12/19/90)
Proceedings Linguistic Approaches to AI (0 replies, 12/19/90)
CFP---1991 International Logic Programming Symposium (0 replies, 12/21/90)
Some Missing Pages of Indexed Categories (0 replies, 12/22/90)
ML (5 replies, 12/25/90)
MICRO-24; Call for Papers and Participation (0 replies, 12/28/90)
Prog. Trans. Catalogue ?? (0 replies, 12/28/90)
bounded temporal logic? (0 replies, 12/29/90)
Recent reference for Stochastic Dynamic Programming (0 replies, 01/01/91)
3-SAT (0 replies, 01/01/91)
Convex Hull Algorithm Wanted (2 replies, 01/03/91)
1991 FOCS - CALL FOR PAPERS (0 replies, 01/04/91)
CFP--1991 International Logic Programming Symposium (0 replies, 01/04/91)
Constructivity in Computer Science Conference (0 replies, 01/04/91)
List of chaotic algorithms (0 replies, 01/04/91)
Convex Hull Algorithm Wanted:Thanks (0 replies, 01/04/91)
number theory teaser (0 replies, 01/06/91)
question on restrictions of SAT (0 replies, 01/06/91)
chaos (6 replies, 01/07/91)
Cambridge HOL System - 5-day intensive course (0 replies, 01/08/91)
SPAA/91 CALL FOR PAPERS (1 reply, 01/08/91)
SIGACT candidates (0 replies, 01/08/91)
Sixteenth Computational Geometry Day (0 replies, 01/08/91)
Algebraic Simplification by Simulated Annealing (0 replies, 01/08/91)
File Structures (0 replies, 01/08/91)
REMINDER: Submission Deadline for STRUCTURE IN COMPLEXITY THEORY (0 replies, 01/08/91)
PODC '91 Reminder (0 replies, 01/10/91)
AICS '91 -- Call for Papers (0 replies, 01/10/91)
Call for Wo4rkshop Proposals for 1991 ILPS (0 replies, 01/10/91)
Renewal of Call for Papers (0 replies, 01/10/91)
positions at Sandia (0 replies, 01/10/91)
FGCS '92 --- Call for Papers (0 replies, 01/10/91)
solution to system of quadratic equations (0 replies, 01/11/91)
High precision Mandelbrot set (5 replies, 01/11/91)
formal languages (0 replies, 01/11/91)
IEEE Real-Time System Symposium (0 replies, 01/15/91)
a post-doc position (0 replies, 01/15/91)
1990 FOCS Proceedings (0 replies, 01/15/91)
A Request (0 replies, 01/15/91)
Lewis and Papadimitriou, ELEMENTS OF THE THEORY OF COMPUTATION (0 replies, 01/15/91)
recent work on grid files? (0 replies, 01/15/91)
CAV - New Deadline (0 replies, 01/15/91)
Old Postings (0 replies, 01/16/91)
CAV91 CALL FOR PAPERS (1 reply, 01/16/91)
Workshop: Foundations of Models and Languages for Data and Objects (0 replies, 01/16/91)
SODA reminder (0 replies, 01/17/91)
DIMACS Workshop on On-Line Algorithms (1 reply, 01/17/91)
Undergraduate Research (0 replies, 01/17/91)
Lewis & Papadimitriou, ELEMENTS OF THE THEORY OF COMPUTATION (0 replies, 01/17/91)
FOCS Proceedings (0 replies, 01/17/91)
...Mathematical methods?... (0 replies, 01/17/91)
Simple Algorithms/Data Structures Puzzles Sought (0 replies, 01/17/91)
bounded temporal logic (0 replies, 01/18/91)
Parallel implementation of petri nets (0 replies, 01/18/91)
Workshop on deontic logic in computer science (1 reply, 01/18/91)
MFPS conference (0 replies, 01/19/91)
MFPS91 program (0 replies, 01/19/91)
MFPS91 local arrangements (0 replies, 01/19/91)
Second Workshop on Parallel Algorithms (0 replies, 01/19/91)
deadline reminder (1 reply, 01/19/91)
1991 FSTTCS - CALL FOR PAPERS (0 replies, 01/19/91)
University of North Texas -- Faculty Position (0 replies, 01/19/91)
Call for Workshop Proposals for 1991 ILPS (0 replies, 01/20/91)
CONCUR'91 -- Call for Papers (1 reply, 01/21/91)
CAV91 - CALL FOR PAPERS (1 reply, 01/21/91)
Real Number Model of Computation (5 replies, 01/21/91)
list of papers accepted to STOC91 (0 replies, 01/22/91)
Theorem provers for first order many sorted logic (0 replies, 01/22/91)
Extendable "delay loop" memory for universal machine in Life (0 replies, 01/22/91)
SIMPLICITY TEST for polygons (1 reply, 01/23/91)
FSTTCS91 -- Call for Papers (0 replies, 01/23/91)
WADS'91 call for papers (0 replies, 01/23/91)
CG Conf. Info. (0 replies, 01/23/91)
THe demagogue (3 replies, 01/23/91)
Hash function (0 replies, 01/23/91)
What were real machines which helped Turing? (2 replies, 01/24/91)
CFP DCC-92 (0 replies, 01/24/91)
Theory Workshop at Paderborn (0 replies, 01/24/91)
A set F of functions from F to F ?? (5 replies, 01/25/91)
Decidability of a tiny subtype system. (0 replies, 01/25/91)
Reminder: COLT '91 deadline (0 replies, 01/26/91)
Ineq. of reg. expr. with intersection (0 replies, 01/26/91)
SODA info request (0 replies, 01/26/91)
Scheme and ML for PC (1 reply, 01/28/91)
recursive =?=> iterative ? (4 replies, 01/28/91)
Algorithm for 32 bit arithmetic on 8 bit machine (0 replies, 01/29/91)
Neural Networks and Learning Theory Course (0 replies, 01/30/91)
information needed (0 replies, 01/30/91)
lower-bound for binary search (4 replies, 01/30/91)
Summary, recursive =?=> iterative (0 replies, 01/30/91)
International Conference and Research Center Schloss Dagstuhl (0 replies, 01/31/91)
ICALP '91 (0 replies, 01/31/91)
Supporting line for N points in 2 space (3 replies, 01/31/91)
International Conference on Genetic Algorithms (0 replies, 01/31/91)
Second Call-for-Paper .... (0 replies, 02/01/91)
Position available (0 replies, 02/01/91)
test data (0 replies, 02/01/91)
Strongest Lower Bound for NP-Complete Problems (0 replies, 02/01/91)
parallel scheduling algorithms (0 replies, 02/02/91)
Map-L Grammer References (0 replies, 02/02/91)
Reminder: Deadline for COLT'91 (0 replies, 02/03/91)
Tableau-Based Theorem Proving (0 replies, 02/04/91)
Graph enumeration algorithm, graph minors (0 replies, 02/05/91)
Theory of Computation (0 replies, 02/05/91)
LATIN'92 - A NEW Int'l Symp. in Theoretical Computer Science (0 replies, 02/05/91)
Request for info on SEU programming theory. (0 replies, 02/05/91)
Comparison of regular expressions (1 reply, 02/06/91)
Summary - 32 bit ops on 8 bit machine (0 replies, 02/06/91)
Abstract Interpretation (0 replies, 02/06/91)
NFA, DFA manipulation Source Code (1 reply, 02/07/91)
Looking for Shannon switching game paper (0 replies, 02/08/91)
Thank You All for the Information (0 replies, 02/09/91)
Random variable problem (0 replies, 02/09/91)
Post Correspondence type problem (0 replies, 02/09/91)
A graph partitioning problem. (1 reply, 02/10/91)
References for hypergraph partition/covering/matching (1 reply, 02/12/91)
CALL FOR DISCUSSION: Create sci.compression? (2 replies, 02/12/91)
Fast Nonlinear Optimization Algorithms (0 replies, 02/12/91)
Looking for a introduction on programming fuzzy logic (0 replies, 02/13/91)
maximal cliques (0 replies, 02/13/91)
Relational databases (0 replies, 02/14/91)
Looking for case studies (0 replies, 02/14/91)
2-dimensional bin packing problem (1 reply, 02/14/91)
Automata, Finite state machines. (0 replies, 02/15/91)
efficient algorithms for additions (0 replies, 02/15/91)
2-pair edge-disjoint paths of minimum length (0 replies, 02/15/91)
Name for a Relation? (3 replies, 02/16/91)
Neighbor Finding in an Oct-Tree (1 reply, 02/16/91)
Numerical Analysis/ Formal proofs (0 replies, 02/17/91)
Counting Spanning Trees (1 reply, 02/18/91)
H-T Planarity Algorithm (4 replies, 02/18/91)
Street address for SPAA '91 (0 replies, 02/19/91)
NP-Complete Problem (0 replies, 02/19/91)
ICALP Program ???????????????? (0 replies, 02/20/91)
Definition of Even Parity (0 replies, 02/20/91)
It SOUNDS simple enough ?!?! ... (0 replies, 02/20/91)
enumeration of minimum circuits (1 reply, 02/20/91)
CALL FOR VOTES: COMP.COMPRESSION. (0 replies, 02/20/91)
6th Annual SUNY at Buffalo Graduate-Conference on Computer (0 replies, 02/21/91)
Program of ICALP 91 (0 replies, 02/21/91)
new data structures text follow-up (0 replies, 02/21/91)
Linear Programming Summary (0 replies, 02/21/91)
How many topological sorts are there in a given DAG? (0 replies, 02/21/91)
Fibonacci Initiative on Physical Design, Please distribute (0 replies, 02/22/91)
Course on the Structure of Parallel Machines (2 replies, 02/22/91)
A question on Peg Solitaire (0 replies, 02/24/91)
Literatures on Temporal Logic (0 replies, 02/25/91)
Theory Day at the University of Chicago (0 replies, 02/26/91)
Eurographics Workshop on Computer Graphics and Mathematics (0 replies, 02/26/91)
"Last and Final Call for Papers in ILPS91" (1 reply, 02/26/91)
Quasi-regular grammars and languages. (1 reply, 02/26/91)
function composition in C (2 replies, 02/26/91)
tree traversal (1 reply, 02/26/91)
Non-recursive tree traversal (2 replies, 02/27/91)
BCH decoding book (0 replies, 02/27/91)
choosing a publisher (0 replies, 02/28/91)
Database correctness (0 replies, 03/01/91)
Sorting algorithms (0 replies, 03/03/91)
Geometry Program (0 replies, 03/04/91)
Geometry LaTeX Program (0 replies, 03/04/91)
Prime-power factorization (0 replies, 03/05/91)
workshop: complexity issues for numerical optimization (2 replies, 03/05/91)
warning on bitnet messages to IBM Almaden (0 replies, 03/05/91)
How does math get done, anyway. (0 replies, 03/05/91)
Call for Papers -- Special Issue of Mathematical Programming B (0 replies, 03/06/91)
graph minors, k-trees, treewidth (1 reply, 03/06/91)
computer accountablity (0 replies, 03/06/91)
STOC '91 errata and updates (0 replies, 03/07/91)
RTA-91 (0 replies, 03/07/91)
Shortest weight constrained path (0 replies, 03/07/91)
GCD results (1 reply, 03/07/91)
Binary Merge Algorithm (0 replies, 03/07/91)
Any applications for parallel geometric search? (0 replies, 03/08/91)
quotient machines (5 replies, 03/08/91)
WACO=Workshop on Algorithms, Combinatorics and Optimization (1 reply, 03/08/91)
CGP: functional, logic progr; parallelism, abstr. data types (1 reply, 03/08/91)
an idea for discussion (0 replies, 03/08/91)
WANTED: "A Programming Approach to Computability" (0 replies, 03/09/91)
Univ, of Texas (0 replies, 03/09/91)
Possible number of NFAs to each DFA. (0 replies, 03/09/91)
RFI : Placement problems (0 replies, 03/09/91)
Non-collinear points on a grid. (1 reply, 03/09/91)
Clarification - Possible number of NFAs to each DFA. (0 replies, 03/09/91)
DCC '91 -- Data Compression Conference (0 replies, 03/09/91)
Nearest Neighbor for TSP (0 replies, 03/10/91)
lower-bound for searching sorted sequences (1 reply, 03/11/91)
Inferences (1 reply, 03/12/91)
PEPM'91 Advance Program (0 replies, 03/12/91)
dreams... (5 replies, 03/12/91)
LATIN'92 - Call for Papers LONG (0 replies, 03/13/91)
ProCoS Symposium, 14-18 October, Gl. Avernaes, Denmark (0 replies, 03/13/91)
Genome Day at DIMACS, April 18 (0 replies, 03/13/91)
Algorithm Animation/BALSA II (0 replies, 03/13/91)
AMAST '91 (0 replies, 03/13/91)
Info needed (0 replies, 03/13/91)
Request for references to work on Unity (0 replies, 03/13/91)
Bar-Ilan Symposium on Foundations of AI (0 replies, 03/13/91)
Book News (0 replies, 03/14/91)
distributed FSM (0 replies, 03/15/91)
Deadlines and program for WOPA 2 (0 replies, 03/15/91)
Graph Minors and Partial K-trees (1 reply, 03/15/91)
Call for Papers: IEEE SPDP '91 (0 replies, 03/16/91)
ICALP'92 (0 replies, 03/16/91)
Proceedings for DCC '91 (0 replies, 03/16/91)
Computability Theory (0 replies, 03/16/91)
Looking for code (0 replies, 03/17/91)
comp.compression vote results. (0 replies, 03/17/91)
How to implement the Solomon solution for graphs? (0 replies, 03/18/91)
Lankinen's recursive factoring algorithm (1 reply, 03/18/91)
PLEASE DON'T!!!!! (0 replies, 03/19/91)
P.J.M. van Laarhoven's address (0 replies, 03/19/91)
A few questions on automata and languages (1 reply, 03/19/91)
Synthetic Life (0 replies, 03/19/91)
Linear Programming Software (0 replies, 03/19/91)
finite input-output automata (0 replies, 03/19/91)
Synthetic Life followup: Artificial Life mailing list (0 replies, 03/19/91)
Summerschool on Lambda Calculus, July 1991 (0 replies, 03/19/91)
Appology (0 replies, 03/20/91)
CFP - Workshop on Distributed Algorithms (0 replies, 03/21/91)
CORRECTION to the PEPM'91 Advance Program (0 replies, 03/21/91)
Algebra & Number Theory (3 replies, 03/22/91)
Petri Nets 91, June 24-28, Denmark (0 replies, 03/22/91)
CFD: comp.lsi.cat (0 replies, 03/22/91)
Summary: Solution of TSP - P=NP now very probable ? (1 reply, 03/22/91)
5-day Course on Cambridge HOL System (0 replies, 03/23/91)
Email address for Edward Rietman? (0 replies, 03/23/91)
IJCAI-91 Workshop on Evolution and Chaos in Cognitive Processing (0 replies, 03/23/91)
Disjoint Paths Problem (1 reply, 03/23/91)
finite time optimal compression program ;^) (0 replies, 03/23/91)
Bit error rates in a transmission (0 replies, 03/23/91)
Program for the 1991 Structure in Complexity Theory Conference (0 replies, 03/23/91)
Knot equivalence via Reidemeister moves (1 reply, 03/23/91)
Solution of TSP - P=NP now very probable ? (1 reply, 03/24/91)
?Distribute Algorithm on Multicommodity Flow Problem?? (0 replies, 03/24/91)
Email address for Richard F. Voss? (0 replies, 03/25/91)
Fractals in language? (0 replies, 03/25/91)
A permutation problem named "Traveling Stars" (0 replies, 03/25/91)
Workshop on Algorithmic Research in Midsouthwest (0 replies, 03/26/91)
Translate DNA into pseudo code? (1 reply, 03/26/91)
Email address for Dietmar Saupe? (0 replies, 03/26/91)
FOCS conf. deadline? (0 replies, 03/26/91)
help needed: fast way of checking the the equation (0 replies, 03/26/91)
Rule Based Language. (1 reply, 03/26/91)
call for paper - 1991 SPDP (0 replies, 03/27/91)
Parallel Algorithm for determing Mode (0 replies, 03/27/91)
Email address for David Cartledge (0 replies, 03/27/91)
CALL WORKSHOP DISTRIBUTED ALGORITHMS - GREECE 1991 (0 replies, 03/28/91)
Fibonacci Institute -- Course on Algorithmics of Circuit Design (0 replies, 03/28/91)
STOC '91 schedule change (0 replies, 03/28/91)
ACM report (0 replies, 03/28/91)
STOC/FOCS Bibliography (0 replies, 03/28/91)
A simple query on Heapsort (0 replies, 03/28/91)
RSA Factoring Challenge (0 replies, 03/28/91)
postdoc position (0 replies, 03/28/91)
Summary: Tableau-Based TP (0 replies, 03/28/91)
Call For Discussion: Comp.lsi.CAT (6 replies, 03/28/91)
CSL '91 (0 replies, 03/29/91)
Email address for Aristid Lindenmayer? (1 reply, 03/29/91)
GraphEd 2.04 announcement (0 replies, 03/29/91)
Boyer-Moore Theorem Prover wanted (1 reply, 03/30/91)
Hamming codes 101 (7 replies, 03/30/91)
Apples Puzzle - A survey/experiment (0 replies, 04/02/91)
EATCS email id? (0 replies, 04/02/91)
Apples Problem - A Survey/Experiment (0 replies, 04/02/91)
SEQUENCES 91 UPDATE -- TeX file (0 replies, 04/03/91)
FSTTCS -91 CALL FOR PAPERS (0 replies, 04/03/91)
STOC '91 DEADLINE REMINDER (0 replies, 04/03/91)
Results (0 replies, 04/03/91)
Ferst Award -> Manuel Blum. May 10th at Georgia Tech (0 replies, 04/03/91)
What do you call this parallel execution? (0 replies, 04/03/91)
Visibility Graph (0 replies, 04/03/91)
CFP: SI of IEEE Trans. on Computers on Fault-Tolerant Computing (0 replies, 04/03/91)
question on boolean circuit evaluation (0 replies, 04/04/91)
Logical question (0 replies, 04/04/91)
Electronic mail changes for IBM Watson Research Center (0 replies, 04/04/91)
LICS'91 Program (0 replies, 04/04/91)
One last STOC '91 Deadline Reminder (0 replies, 04/04/91)
I'm seeking part time job (0 replies, 04/04/91)
Please HELP, request for a paper (0 replies, 04/04/91)
LP&NMR Workshop -- Schedule and Registration (1 reply, 04/04/91)
Deadline for CRYPTO '91: final reminder (0 replies, 04/05/91)
Workshop on Evolution and Chaos (0 replies, 04/05/91)
Call for Papers -- 2nd Symposium on AI and Math (0 replies, 04/05/91)
Incremental Network Flow Algorithm (0 replies, 04/05/91)
Can unambiguous grammars be parsed in linear time? (0 replies, 04/05/91)
Course: Algorithms and Complexity (0 replies, 04/06/91)
TheoryNet moderation (1 reply, 04/06/91)
Finding a reasonably short path through a growing graph. (0 replies, 04/06/91)
Applications for lazy functional languages (1 reply, 04/08/91)
PQ Planarity Testing Code (0 replies, 04/08/91)
Dominating Set of Circle Graph (0 replies, 04/09/91)
what to call this kind of tree traversal (3 replies, 04/09/91)
Machine Learning (0 replies, 04/10/91)
Wanted: References on Software Testing (0 replies, 04/10/91)
Graduate program with Assistantship info needed (0 replies, 04/11/91)
Some questions about circuits in graphs (2 replies, 04/11/91)
formula (0 replies, 04/11/91)
context-free parsing (0 replies, 04/11/91)
Request for Help: Properties of [PS] 3-SAT -> CLIQUE Reduction (0 replies, 04/12/91)
source program for linear programming wanted (0 replies, 04/12/91)
Pretty Printing DiGraphs (0 replies, 04/12/91)
WOBCATS Friday April 19 (0 replies, 04/12/91)
Asking for references (0 replies, 04/12/91)
iterated product (1 reply, 04/12/91)
> (0 replies, 04/13/91)
Naive question (1 reply, 04/13/91)
LICS ... everywhere! (0 replies, 04/14/91)
do computers believe in real numbers? (15 replies, 04/14/91)
Least-squares clustering. (2 replies, 04/15/91)
Hierarchic graphs (0 replies, 04/15/91)
Ferst Symposium May 10th in honor of Manuel Blum (0 replies, 04/15/91)
Final program and registration reminder: WOPA2 (0 replies, 04/16/91)
CGTA (0 replies, 04/16/91)
Urgent: Hotel Reservations for STOC '91 (0 replies, 04/16/91)
Polynomial time scheduling algos. (1 reply, 04/16/91)
CFP: Workshop on Foundations of Data and Object Bases (0 replies, 04/16/91)
Longest repeated substring problem. (7 replies, 04/17/91)
Diameter of a DAG (1 reply, 04/17/91)
STOC '91 update (0 replies, 04/17/91)
Campinas Combinatorics Workshop - Announcement in Latex (0 replies, 04/17/91)
Campinas Combinatorics Workshop - Announcement in plaintext (0 replies, 04/17/91)
Urgent: Deadline Reminder (1 reply, 04/18/91)
CFP: Int'l Conference on Fifth Generation Compute (0 replies, 04/18/91)
graph topologies (0 replies, 04/19/91)
Bin Packing (0 replies, 04/19/91)
Postdoctoral Positions Available (0 replies, 04/19/91)
Urgent: Postdoc Positions Available (0 replies, 04/20/91)
ICALP 1991 Registration Form and Program (0 replies, 04/20/91)
Name this primitive (1 reply, 04/22/91)
second announcement CFP formal techniques in RT and FT systems (1 reply, 04/22/91)
Formal Aspects of Measurement (0 replies, 04/22/91)
Pretty Printing Graphs (0 replies, 04/23/91)
finding a name to look up (1 reply, 04/23/91)
Help on space complexity (0 replies, 04/24/91)
Geometry Conf. update (0 replies, 04/24/91)
Sharing a room at STOC (0 replies, 04/24/91)
CFP - 1991 HOL Workshop (0 replies, 04/24/91)
SODA '92 call for papers (0 replies, 04/25/91)
NSF Notes (2 replies, 04/25/91)
K shortest paths (1 reply, 04/25/91)
textbook adoption survey (0 replies, 04/25/91)
MFCS'91 Conference (0 replies, 04/25/91)
word relations (0 replies, 04/25/91)
Unity references (2 replies, 04/25/91)
Weird Computational Gizmos Wanted (0 replies, 04/25/91)
Software on Fuzzy Set Applications (1 reply, 04/26/91)
neural network reprints available (0 replies, 04/26/91)
circle graphs (0 replies, 04/26/91)
theory textbook adoption survey (0 replies, 04/27/91)
1st CFV: comp.lsi.testing (0 replies, 04/27/91)
postdoctoral fellowships at Max Planck Institute for Computer (0 replies, 04/27/91)
Marriott reservation for STOC '91 (0 replies, 04/27/91)
A result of Gandy and Kreisel: Reference sought (0 replies, 04/27/91)
Unknown proofs (0 replies, 04/29/91)
References for w-languages (0 replies, 04/29/91)
Call for Papers, 2nd Symposium on AI and Mathematics (0 replies, 04/29/91)
Seventeenth Computational Geometry Day (0 replies, 04/30/91)
Room to share at STOC (0 replies, 04/30/91)
Rigid graphs (0 replies, 04/30/91)
3-D convex hull (0 replies, 04/30/91)
Shape grammars (0 replies, 04/30/91)
Call For Papers (4 replies, 05/02/91)
a problem in random graph (0 replies, 05/02/91)
Need to locate Thomas Schwentick (0 replies, 05/02/91)
Mincost matching (0 replies, 05/03/91)
Monographs on Complexity (0 replies, 05/03/91)
Unity references, the second refinement (0 replies, 05/03/91)
Possible Visiting Position at Georgetown (0 replies, 05/03/91)
Info Request: LAWS OF FORM (0 replies, 05/04/91)
Elliptic curves within number theory (0 replies, 05/06/91)
GRAPH ISOMORPHISMS ! (2 replies, 05/07/91)
More about Manber's (0 replies, 05/07/91)
Info Request: LAWS OF FORM question about rumour (1 reply, 05/07/91)
RUSSIAN SCIENCE: PLEASE HELP !!! (4 replies, 05/07/91)
Mistake. (0 replies, 05/08/91)
uUTRL - A Small Term Rewriting Laboratory (1 reply, 05/08/91)
JOURNAL OF INFORMATION PROCESSING SOCIETY, Vol. 1 (0 replies, 05/08/91)
time-constructability of (1 reply, 05/09/91)
Revised PODC '91 Program (0 replies, 05/09/91)
BCS--FACS RAISE TUTORIAL (0 replies, 05/09/91)
Object Oriented Problem Solving (0 replies, 05/09/91)
Random Number Generator (0 replies, 05/09/91)
Directed Acyclic Graphs. (1 reply, 05/09/91)
Paradox of the non-recursive computer (6 replies, 05/10/91)
Question on halting problem (35 replies, 05/10/91)
Formal Languages Question (1 reply, 05/12/91)
Literature on databases (0 replies, 05/13/91)
Probably-Good High-Dimensional Numerical Integration (1 reply, 05/13/91)
The word "undecidable" (1 reply, 05/14/91)
L. B. on shortest paths? (0 replies, 05/14/91)
Euclidian clustering (0 replies, 05/14/91)
ALCOM Summer School (0 replies, 05/14/91)
Geom. Conf. registration reminder (0 replies, 05/15/91)
Trakhtenbrot Symposium Program, June 10-12, Tel-Aviv (0 replies, 05/15/91)
Literature on Complexity -- Summary (1 reply, 05/15/91)
STOC '91 proceedings (0 replies, 05/15/91)
Probabalistic algo. for matching problem. (1 reply, 05/15/91)
PQ-tree C algorithms wanted (0 replies, 05/15/91)
group diagram (1 reply, 05/16/91)
dialectical inquiring systems (0 replies, 05/16/91)
Complexity of a Packing Problem (1 reply, 05/17/91)
some references to linear logic (0 replies, 05/17/91)
email-address of W. GASARCH, J.KADIN, and M. KRENTEL (0 replies, 05/20/91)
Numbers .... (1 reply, 05/21/91)
linear logic, semantics (0 replies, 05/21/91)
Reminder: STRUCTURE IN COMPLEXITY THEORY registration deadline (0 replies, 05/21/91)
minimum spanning ellipsoids (0 replies, 05/21/91)
ML-like type-checker for Scheme subset? (6 replies, 05/22/91)
Book on Combinatorial Optimization (1 reply, 05/22/91)
The Ulam Machine (6 replies, 05/22/91)
Logic in Computer Science, July 15-18, Amsterdam (0 replies, 05/22/91)
CFP Workshop Abstract Interpretation ... postponement (0 replies, 05/22/91)
Generating subsets which are not supersets (1 reply, 05/23/91)
[Prolog] Collection of 'Folk Theorems' wanted ! (0 replies, 05/23/91)
Equality of Finite State Machines (0 replies, 05/23/91)
DIMACS Workshop on Computational Support for Discrete Mathematics (0 replies, 05/23/91)
Call for Papers, HICSS-25, I/O Bottleneck Mini-track (0 replies, 05/23/91)
Closed form solution to a recurrence (2 replies, 05/24/91)
Sorts, Types in logic and programming languages (4 replies, 05/24/91)
Workshop on Deductive Databases (0 replies, 05/24/91)
Looking for references... (2 replies, 05/26/91)
SEMANTICS problems (0 replies, 05/27/91)
Maximum weight matchings in bipartite graphs (0 replies, 05/28/91)
Undecidable problems about CFL's. (1 reply, 05/28/91)
seeking advice on good book (1 reply, 05/28/91)
Reverse Gear on a Turing Machine... (3 replies, 05/29/91)
Narrowing systems (2 replies, 05/29/91)
VIII BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE (0 replies, 05/30/91)
[GRAPH] Drawing directed graphs (0 replies, 05/30/91)
Minimum Set Cover Problem (0 replies, 05/30/91)
CFP: ECOOP'91 Types Workshop (0 replies, 05/30/91)
wanted: simple TM for non-CF language (0 replies, 05/30/91)
Term/tree-rewriting systems with monoidal subsystems? (1 reply, 05/30/91)
Partitioning squares into unequal squares (9 replies, 05/30/91)
Converting FSM's to RM's (0 replies, 05/31/91)
Pumping lemma question (1 reply, 05/31/91)
Probabilistic grammars ? (0 replies, 05/31/91)
Survey of Software Visualization Techniques (0 replies, 06/01/91)
SUMMARY (2 replies, 06/01/91)
CALL FOR PAPERS : CSI Journal (0 replies, 06/02/91)
7th ACM Symposium on Computational Geometry (0 replies, 06/03/91)
Feedback vertex set problem (0 replies, 06/04/91)
Special Issue of IEEE Software on Reliability Models (0 replies, 06/04/91)
Wanted: Mutually Recursive, Divide-and-Conquer Algorithms (0 replies, 06/05/91)
dynamic simulation of articulated objects (0 replies, 06/05/91)
MFCS'91 -- Registration deadline is 30th June (0 replies, 06/05/91)
IFIP PSTV XI Advance Program (0 replies, 06/05/91)
Examples of parsers written in OOPS code (0 replies, 06/05/91)
Linear Logic (8 replies, 06/06/91)
Spectral Test on random number generators? (0 replies, 06/06/91)
multivariate numeric integration (0 replies, 06/07/91)
Looking for PX (0 replies, 06/07/91)
CFP: Logic and Change (0 replies, 06/07/91)
Accepted papers. (0 replies, 06/07/91)
List of accepted papers (1 reply, 06/08/91)
Use of Modula2 in University Education (0 replies, 06/08/91)
Final Algebra Semantics of Specifications (0 replies, 06/09/91)
Position available: Associate Professor of CS, Denmark (0 replies, 06/10/91)
SAC '91 -- Preliminary Call for papers (0 replies, 06/10/91)
Veicle Routing (0 replies, 06/10/91)
11-th Int. Conf. on Automated Deduction Call for Papers (0 replies, 06/11/91)
Chromatic Number: References. (0 replies, 06/12/91)
graph grammar interpreter (0 replies, 06/12/91)
reprint is available (0 replies, 06/12/91)
PQ-trees/response to Lou Kates (0 replies, 06/12/91)
Axiomatic derivations of Chomsky hierarchy (0 replies, 06/12/91)
optimal partition into cartesian products? (1 reply, 06/12/91)
software for text "Algorithms from P to NP, Vol. I" (0 replies, 06/12/91)
<None> (1 reply, 06/14/91)
different tsp (0 replies, 06/14/91)
ICLP'91 Preconference Workshop (1 reply, 06/14/91)
information for an NP-complete problem (0 replies, 06/14/91)
visibility graph program (0 replies, 06/14/91)
info on category theory and type theory (1 reply, 06/14/91)
IEEE Software Special Issue on Software Reliability Models (0 replies, 06/14/91)
call for papers - special issue on VLSI neural networks (0 replies, 06/15/91)
Brand New Optimization Methods (3 replies, 06/15/91)
STOC '90 Proceedings (0 replies, 06/16/91)
FSM composition - Software (0 replies, 06/18/91)
David Harel at Manchester (0 replies, 06/18/91)
UNITY and PCN info. wanted (0 replies, 06/19/91)
expression for F (3 replies, 06/19/91)
The p-median problem (0 replies, 06/20/91)
A* stuff (0 replies, 06/20/91)
Parallel Algorithm for Transitive Closure (0 replies, 06/20/91)
rational functions over Z_2,Q, and automata (0 replies, 06/21/91)
RNS Architectures -- choice of modulii (0 replies, 06/21/91)
Novice question about monotonic/continuous functions (2 replies, 06/21/91)
NP-completeness question (1 reply, 06/21/91)
What is the probability that I will be fired? (1 reply, 06/22/91)
The number of magic squares of order n (0 replies, 06/23/91)
look (0 replies, 06/24/91)
Summary of Responses to Parallel Transitive Closure (0 replies, 06/25/91)
FSM's to RM's (9 replies, 06/25/91)
C A L L F O R P A P E R S : 5th REFINEMENT WORKSHOP (0 replies, 06/26/91)
Question (0 replies, 06/27/91)
looking for (3 replies, 06/27/91)
VLSI testing (0 replies, 06/27/91)
new SIGACT News Editor (0 replies, 06/28/91)
Encyclopedia on Lambda Calculus (0 replies, 06/28/91)
LICS'91 Amsterdam, welcome reception on July 14 (0 replies, 06/28/91)
Cupon Collector info wanted (0 replies, 06/28/91)