Home  Mathematical_Logic  Inductive Definability 
Page 1 156 of 56 1 
1. Inductive Definability With Counting On Finite Structures Inductive definability with Counting on Finite Structures. Source, Lecture Notes In Computer Science; Vol. 702 archive Selected Papers from the Workshop on http://portal.acm.org/citation.cfm?id=736402 
2. Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive definability over Finite Structures. AUTHOR(S) Anuj Dawar, University of Pennsylvania http://repository.upenn.edu/cis_reports/365/  

3. JSTOR Uniform Inductive Definability And Infinitary Languages Inductive definability AND INFINITARY LANGUAGES 111 set T of sentences of LA, if every A~finite subset of T has a model then T has a model. http://links.jstor.org/sici?sici=00224812(197603)41:1<109:UIDAIL>2.0.CO;2Z 
4. Global Inductive Definability Global Inductive definability. Jon Barwise and Yiannis N. Moschovakis. Source J. Symbolic Logic Volume 43, Issue 3 (1978), 521534. http://projecteuclid.org/handle/euclid.jsl/1183740258  

5. Logic And Language Links  Inductive Definability Inductive definability is a subtopic of recursion theory. Inductive definability has currently no subtopics. Long description Not available yet. http://staff.science.uva.nl/~caterina/LoLaLi/Pages/313.html  

6. Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive definability over Finite Structures. Anuj Dawar, Steven Lindell, Scott Weinstein. Journal Title Information and Computation http://wotan.liu.edu/docis/show?doc=dbl/infcom/199506_119_2_160_ILAIDO.htm&query 
7. Scientific Commons Inductive Definability With Counting On Finite Keywords, Erich Gradel,Martin Otto Inductive definability with Counting on Finite Structures. Language, Englisch. About ScientificCommons Imprint Contact http://en.scientificcommons.org/400208 
8. Citations: Bounded Set Theory And Inductive Definability  Yu (ResearchIndex) V.Yu.Sazonov, Bounded Set Theory and Inductive definability, Logic Colloquium 90, JSL, 56, Nu.3 (1991) 11411142. http://citeseer.comp.nus.edu.sg/context/208656/0  

9. LC '98 Abstract: Martin Grohe Phokion G. Kolaitis Most of the work on Inductive definability during this period was local, in the sense that it studied Inductively definable relations on some fixed infinite http://www.math.cas.cz/~lc98/abstracts/Grohe.html  

10. Inductive Definability With Counting On Finite Structures. D2R Inductive definability with Counting on Finite Structures. Resource URI http//www4.wiwiss.fuberlin.de/dblp/resource/record/conf/csl/GradelO92 http://www4.wiwiss.fuberlin.de/dblp/resource/record/conf/csl/GradelO92 
11. British Library Direct: Order Details Order from the British Library The Complexity of Inductive definability. http://direct.bl.uk/research/58/3B/RN169109495.html  

12. Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive definability over Finite Structures. Resource URI http//dblp.l3s.de/d2r/resource/publications/journals/iandc/DawarLW95 http://dblp.l3s.de/d2r/resource/publications/journals/iandc/DawarLW95 
13. Inductive Definability And The Situation Calculus We explore the situation calculus within the framework of Inductive definability. A consequence of this view of the situation calculus is to establish http://nsdl.org/resource/2200/20061011153830956T  

14. Cornell Math  Logic Seminar 199697 Inductive definability. Thu., October 24, Nat Miller, Cornell University The role of diagrams in proofs Inductive definability partial fixed points http://www.math.cornell.edu/Colloquia/Logic/199697.html  

15. ODOBS  Publication Page: Infinitary Logic And Inductive Definability Over Finit Infinitary Logic and Inductive definability over Finite Structures. Authors. Anuj DAWAR; Steven LINDELL; Scott WEINSTEIN. Citing publications http://odobs.cs.unidortmund.de:8080/odobs/publication;jsessionid=45C8609AD8477D 
16. ELECTRONIC NEWSLETTER ON REASONING ABOUT ACTIONS AND CHANGE Issue I wrote a paper Inductive definability and the Situation Calculus presented at Dynamics 97 last October. It was published in a volume of LNCS later. http://www.ida.liu.se/ext/etai/rac/nl98/054/direct.txt 
17. MGI  Publications: Martin Otto Inductive definability with Counting on Finite Structures. In Computer Science Logic, 6th Workshop, CSL `92, San Miniato 1992, Selected Papers (E. BÃ¶rger, http://logic.rwthaachen.de/Publications/otto.html.en  

18. Libra: Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive definability over Finite Structures(1995). Order By. Year, Rank. Year = 2005. The Expressive Power of TwoVariable Least http://libra.msra.cn/papercited.aspx?id=373382 
19. PODS 1998: 8998 DLW95 Anuj Dawar, Steven Lindell, Scott Weinstein Infinitary Logic and Inductive definability over Finite Structures. Inf. Comput. http://www.informatik.unitrier.de/~ley/db/conf/pods/SegoufinV98.html  

20. \newcommand{\apal}{{\it Annals Of Pure And Applied Logic \bibitemGO93{GradelOtto}E.~Gr\ {a}del and M.~Otto, ``Inductive definability with Counting on Finite Structures, {\em Computer Science Logic} 1993, http://www.cs.umass.edu/~immerman/book/biblio.html 
21. Books, Surveys @BOOK{EFfinmt, AUTHOR = HeinzDieter Ebbinghaus TITLE = Infinitary Logic and Inductive definability over Finite TITLE = Implicit definability and Infinitary Logic in Finite Model Theory , http://www.cs.ioc.ee/~tarmo/bibs/fmt.bib 
22. Vladimir Sazonov: Papers Sazonov, A bounded set theory with antifoundation axiom and Inductive definability, L.Pacholski and J.Tiuryn (Eds.). Computer Science Logic. http://www.csc.liv.ac.uk/~sazonov/papers.html  

23. DBLP: Dexter Kozen 95 EE, Dexter Kozen Computational Inductive definability. Ann. Pure Appl. Logic 126(13) 139148 (2004). 94 EE, Dexter Kozen Some results in dynamic http://www.sigmod.org/dblp/db/indices/atree/k/Kozen:Dexter.html  

24. Publications It is shown that in the presence of counting terms Inductive definability on arbitrary finite structures has nice properties that it retains without http://www.mathematik.tudarmstadt.de/~otto/abstracts.html  

25. Group In Logic And The Methodology Of Science  Inductive definability. Branden Fitelson, Assistant Professor of Philosophy, San Jose State University, and Assistant Professor Designate of Philosophy, http://logic.berkeley.edu/pastcolloquia.html 
26. List KWIC PACS And MSC+ZDM EN Lexical Connection induction, Burnside and representation rings Frobenius 19A22 Inductive and projective limits 46M40 Inductive definability 03D70 http://www.math.unipd.it/~biblio/kwic/mscpacs/pml_11_043.htm  

27. Publications Of Jouko VÃ¤Ã¤nÃ¤nen Gametheoretic Inductive definability, with Juha Oikkonen, Annals of Pure and Applied Logic 65, 265306, 1993. Logic Colloquium 90 (editor, http://www.math.helsinki.fi/logic/people/jouko.vaananen/jvaaALL.html  

28. Cenzer, Douglas Inductive definability measure and category. Adv. in Math. 38 (1980), no. 1, 5590. 03D70 (03E15 28A05 54H05); 575911 Cenzer, D.; Mauldin, R. D. http://www.math.ufl.edu/fac/facmr/Cenzer.html  

29. Mhb03.htm 03D70, Inductive definability. 03D75, Abstract and axiomatic computability and recursion theory. 03D80, Applications of computability and recursion theory http://www.mi.imati.cnr.it/~alberto/mhb03.htm  

30. Infinitary Logic And Inductive Definability Over Finite Structures Infinitary Logic and Inductive definability over Finite Structures. A. Dawar, S. Lindell and S. Weinstein. Information and Computation 119 (1995), http://www.cis.upenn.edu/~db/abstracts/ic94.html  

31. MathNetMathematical Subject Classification 03D70, Inductive definability. 03D75, Abstract and axiomatic recursion theory. 03D80, Applications of recursion theory. 03D99, None of the above, http://basilo.kaist.ac.kr/API/?MIval=research_msc_1991_out&class=03XX 
32. Cenzer, Mauldin: On The Borel Class Of The Derived Set Operator Inductive definability measure and category, Advances in Math. 38. 5590. 1980. 2 DELLACHERIE(C).  Les derivations en theorie descriptive dcs ensembles http://www.numdam.org/numdambin/fitem?id=BSMF_1982__110__357_0 
33. FOM: Where To Put Complexity Theory Some of the work of Immerman and Gurevich and Shelah on finite structures is a natural byproduct of this general theory of Inductive definability. http://cs.nyu.edu/pipermail/fom/1998August/002026.html  

34. Scientific Commons Infinitary Logic And Inductive Definability Infinitary Logic and Inductive definability over Finite Structures (1994). Anuj Dawar,; Steven Lindell,; Scott Weinstein. Abstract http://de.scientificcommons.org/161554  

35. Citebase  A Logic For NonMonotone Inductive Definitions Inductive definability and the situation calculus. In Transaction and Change in Logic Databases. Lecture Notes in Computer Science, vol. 1472. http://www.citebase.org/abstract?identifier=oai:arXiv.org:cs/0501025&action=cite 
36. Sample SRC Proposal For AMS Conferences Transfinite iterations move on to definability in analysis, descriptive set theory, Inductive definability, generalized recursion theory, admissibility and http://www.ams.org/meetings/srcsample1.html  

37. Logic Colloquium 2007 (Wrocław, Poland, July 1419, 2007) A. Pillay, Typedefinability, compact Lie groups, and minimality, J. Math. namely of some fundamental results of Moschovakis on Inductive definability. http://www.math.wisc.edu/~lempp/conf/ELC07.html  

38. Procom5_99p262abs and Inductive definability. V. Yu. Sazonov. Program Systems Institute, Russian Academy of Sciences, PereslavlÂZalesskii, 152140 Russia http://www.maik.ru/cgibin/search.pl?type=abstract&name=procom&number=5&year=99& 
39. Publications A. Dawar, S. Lindell and S. Weinstein, Infinitary logic and Inductive definability over finite structures, Information and Computation 119 (1995) 160175. http://www.cl.cam.ac.uk/~ad260/pubs.html  

40. ERRORINTERNO arose from the study of Inductive definability and infinitary logic on proficient classes of finite structures (those admitting an unbounded induction). http://biblioteca.universia.net/html_bura/vernivel/params/nivel/11/start/300.htm  

41. LICS Newsletter 33 Inductive definability and secondorder logic. 4. Time complexity the classes P and NP. 5. Space complexity L, NL, FL and PSPACE. 6. http://www2.informatik.huberlin.de/lics/newsletters/33.html  

42. BibSonomy::bibtex::GameTheoretic Inductive Definability. Webapplikation des Fachgebiets Wissensverarbeitung, UniversitÃ¤t Kassel. http://www.bibsonomy.org/bibtex/2b7f1ed6b68402aa563e4d3b794016dcc/dblp  

43. [ISI Highly Cited Researchers Version 1.1] Computational Inductive definability. Technical Report 20021870, Computer Science Department, Cornell University, April 2002.. Adam Barth and Dexter Kozen. http://hcr3.isiknowledge.com/formViewCharacteristic.cgi?id=2429&link1=browse&tab 
44. CAT.INIST Inductive definability and the situation calculus We explore the situation calculus within the framework of Inductive definability. http://cat.inist.fr/?aModele=afficheN&cpsidt=1570489 
45. JVTuckerClassified List Of Publications J Moldestad, V StoltenbergHansen and J V Tucker, Finite algorithmic procedures and Inductive definability, Mathematica Scandinavica, 46 (1980) 6276. http://www.cs.swan.ac.uk/~csjvt/JVTmore/JVTClassified Publications.htm  

46. Stela's Recent Publications \Pi^0_1positive Inductive definability on abstract structures, Ann. Univ. Sofia, Fac. Math et Inf., 91, 1997; with A. A. Soskova, Theory of programming in http://www.fmi.unisofia.bg/fmi/logic/nikolova/recent.htm  

47. Search  Site  Jack Baskin School Of Engineering, UC Santa Cruz Inductive definability the study of the relations Inductively definable by . Global Inductive definability and finitevariable logics have featured . http://www.soe.ucsc.edu/site/search.html?query=definability 
Page 1 156 of 56 1 