CIE 2006 - PDF Preprint Papers

CIE 2006 Conference on Computability in Europe

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CIE-2006 Paper

click to vote

CIE
2006
Springer

164views Applied Computing» more CIE 2006»

From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials

14 years 4 months ago

Download www.cs.technion.ac.il

Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...

Johann A. Makowsky

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	164	From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials	claim
2	155	Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis	claim
3	139	Datatype-Generic Reasoning	claim
4	139	Computer game-flow design	claim
5	126	On Graph Isomorphism for Restricted Graph Classes	claim
6	126	Dean Wright	claim
7	118	Forcing with Random Variables and Proof Complexity	claim
8	116	Coinductive Proofs for Basic Real Computation	claim
9	113	Lucid platform: applying HLA DDM to multiplayer online game middleware	claim
10	111	LJQ: A Strongly Focused Calculus for Intuitionistic Logic	claim
11	110	On the Complexity of the Sperner Lemma	claim
12	104	Degrees of Weakly Computable Reals	claim
13	100	Every Sequence Is Decompressible from a Random One	claim
14	100	Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions	claim
15	98	Complexity-Theoretic Hierarchies	claim
16	97	Lower Bounds Using Kolmogorov Complexity	claim
17	97	Prefix-Like Complexities and Computability in the Limit	claim
18	96	Do Noetherian Modules Have Noetherian Basis Functions?	claim
19	93	Turing's test and believable AI in games	claim
20	91	Constraints on Hypercomputation	claim
21	91	From digital audiobook to secure digital multimedia-book	claim
22	86	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes	claim
23	85	Entertaining with science, educating with dance	claim
24	84	Inverting Monotone Continuous Functions in Constructive Analysis	claim
25	82	Deep Inference and Its Normal Form of Derivations	claim
26	81	Uncomputability Below the Real Halting Problem	claim
27	80	Enumeration Reducibility with Polynomial Time Bounds	claim
28	80	PAC-LAN: mixed-reality gaming with RFID-enabled mobile phones	claim
29	78	An Introduction to Program and Thread Algebra	claim
30	78	Learning through game modding	claim
31	74	Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal	claim
32	73	MYSQ: : an entertainment system based on content creation directly linked to communication	claim
33	72	The Jump Classes of Minimal Covers	claim
34	72	Can General Relativistic Computers Break the Turing Barrier?	claim
35	72	Relativized Degree Spectra	claim
36	72	Extending cyberspace: location based games using cellular phones	claim
37	71	From Constructibility and Absoluteness to Computability and Domain Independence	claim
38	71	A Measure of Space for Computing over the Reals	claim
39	71	Logspace Complexity of Functions and Structures	claim
40	71	Partial Continuous Functions and Admissible Domain Representations	claim
41	70	A Subrecursive Refinement of the Fundamental Theorem of Algebra	claim
42	70	Infinite Time Register Machines	claim
43	70	FILA in gameland, a holistic approach to a problem of many dimensions	claim
44	64	Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests	claim
45	51	Optimization and Approximation Problems Related to Polynomial System Solving	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers