comp.theory

• Thread Index

---

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

We are proud to have Web Hosting and Rack Housing from 9 Net Avenue Deutschland.
(17)