comp.theory

Date Index

Extended counter-example for extended M.Diaby Linear Model, Radosław Hofman
New line to attack the P versus NP question, Silvano Di Zenzo
Post-doc position related to formal language theory/tree automata, Frank
HIS 2008 Conference: Submission Deadline Extended To June 15th, Sabri Pllana
PhD Scholarship in Program Analysis/Security, news.bond.edu.au
- Re: PhD Scholarship in Program Analysis/Security, drrrho
Can I solve 1-in-3 3-SAT in polynomial time?, soos.mate
- Re: Can I solve 1-in-3 3-SAT in polynomial time?, Martin Wuerthner
  - Re: Can I solve 1-in-3 3-SAT in polynomial time?, soos.mate
Quantum algorithm example, Daniel Kraft
- Re: Quantum algorithm example, Paul E. Black
  - Re: Quantum algorithm example, Daniel Kraft
Re: How to resample continuosly time data to be represented real time ?, pamela fluente
Funded Ph.D. Position - Formalising the Hardware/Software Interface, TCD, Ireland, Andrew Butterfield
FREE Tutorials on HTML XHTML CSS JavaScript XML XSL ASP SQL ADO VBScript, SAP - ABAP, univbgp100
finding all simple paths in a graph, Ginu
Final Call for Papers: 2nd WORKSHOP ON REACHABILITY PROBLEMS (submissions:19 May 2008), igor_potapov
Protect yourself against Operation Sudden Fall, Albert . Santorelli
Special Track “Computational Bioimaging and Visualization” within the ISVC08 USA - Announce & Call for Papers, tavares@xxxxxxxx
Final CFP: The 8th Hybrid Intelligent Systems Conference -- HIS 2008, Sabri Pllana
WfPM 2008 1st call for papers, Fortis Florin
error, sara
2d cross-correlation / convolution, PB
- Re: 2d cross-correlation / convolution, jacko
- Re: 2d cross-correlation / convolution, jacko
- Re: 2d cross-correlation / convolution, jacko
Questions on turing machine problems, polymedes
- Re: Questions on turing machine problems, Tim Tyler
  - Re: Questions on turing machine problems, polymedes
    - Re: Questions on turing machine problems, Tim Tyler
    - Re: Questions on turing machine problems, polymedes
    - Re: Questions on turing machine problems, Tim Tyler
    - Re: Questions on turing machine problems, tchow
- Re: Questions on turing machine problems, Harri Haanpaa
  - Re: Questions on turing machine problems, polymedes
    - Re: Questions on turing machine problems, Harri Haanpaa
QuickSort (worst-cases... special data), Sem
- Re: QuickSort (worst-cases... special data), Tom Truscott
  - Re: QuickSort (worst-cases... special data), Sem
    - Re: QuickSort (worst-cases... special data), Chris F Clark
    - Re: QuickSort (worst-cases... special data), Sem
    - Re: QuickSort (worst-cases... special data), Chris F Clark
Third CEU Summerschool on Advanced Statistics and Data Mining (June 30th-July 11th, 2008), coss.eps@xxxxxx
Proving a Language Is Not a CFL, Bernd L
- Re: Proving a Language Is Not a CFL, Jussi Piitulainen
- Re: Proving a Language Is Not a CFL, Michal Przybylek
  - Re: Proving a Language Is Not a CFL, Bernd L
- Re: Proving a Language Is Not a CFL, Ben Bacarisse
  - Re: Proving a Language Is Not a CFL, Bernd L
Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT, deepakc
- Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT, deepakc
  - Re: Another approach to decide on existence of a real root for Univariate Polynomials with Integer Coefficients, and a possible Multivariate extension for 3-SAT, deepakc
Re: Mark W. Hopkins theory perspective on parser engine technology?, Rock Brentwood
Maximum Flow, arush
- Re: Maximum Flow, konrad
Re: CYK & Context-Free Expressions, Rock Brentwood
- Re: CYK & Context-Free Expressions, Tegiri Nenashi
- <Possible follow-ups>
- Re: CYK & Context-Free Expressions, Rock Brentwood
  - Re: CYK & Context-Free Expressions, Tegiri Nenashi
- Re: CYK & Context-Free Expressions, Rock Brentwood
  - Re: CYK & Context-Free Expressions, Chris F Clark
    - Re: CYK & Context-Free Expressions, Rock Brentwood
    - Re: CYK & Context-Free Expressions, Chris F Clark
- Re: CYK & Context-Free Expressions, Rock Brentwood
  - Re: CYK & Context-Free Expressions, Chris F Clark
  - Re: CYK & Context-Free Expressions, Chris F Clark
  - Re: CYK & Context-Free Expressions, Chris F Clark
Existential instantiation question, chan
Symposium “Image Processing and Analysis” within the ICCES'09 Thailand - Announce & Call for Papers, tavares@xxxxxxxx
Re: domains for typed lambda calculi, Jose Juan Mendoza Rodriguez
- Re: domains for typed lambda calculi, JohnF
  - Re: domains for typed lambda calculi, Michal Przybylek
    - Re: domains for typed lambda calculi, JohnF
    - Re: domains for typed lambda calculi, Michal Przybylek
- <Possible follow-ups>
- Re: domains for typed lambda calculi, Michal Przybylek
Re: A question about a LL parser, rpost
Re: M times M = M?, rpost
understanding induction problems, chalong
- Re: understanding induction problems, Paul E. Black
Re: How can I tell if F is a string or if it is a number?, tchow
- Re: How can I tell if F is a string or if it is a number?, Pioneer1
  - Re: How can I tell if F is a string or if it is a number?, Patricia Shanahan
    - Re: How can I tell if F is a string or if it is a number?, Pioneer1
    - Re: How can I tell if F is a string or if it is a number?, Patricia Shanahan
    - Re: How can I tell if F is a string or if it is a number?, rpost
    - Re: How can I tell if F is a string or if it is a number?, Paul E. Black
    - Re: How can I tell if F is a string or if it is a number?, Pioneer1
  - Re: How can I tell if F is a string or if it is a number?, tchow
    - Re: How can I tell if F is a string or if it is a number?, Pioneer1
    - Re: How can I tell if F is a string or if it is a number?, tchow
    - Re: How can I tell if F is a string or if it is a number?, Pioneer1
    - Re: How can I tell if F is a string or if it is a number?, tchow
Does Valiant reduction make sense?, Tegiri Nenashi
- Re: Does Valiant reduction make sense?, Rock Brentwood