Loading...
Images of Daniel Leivant
(0 from 0 )1
0
0
News
CSR-2015: First Call for Papers - EATCS
eatcs.org
Daniel Leivant (Indiana U.) Georg Moser (U. of Innsbruck) Damian Niwinski (U. of Warsaw) Prakash Panangaden (McGill U.) › component › content › article › 1-news
LICS - Index of Papers and Short Presentations by Authors : L
www.lfcs.inf.ed.ac.uk
... Peter Lee; Seunghwan H. Lee; Chin-Laung Lei; Hans Leiß; Alexander Leitsch; Leivant, D. Daniel Leivant; Kjell Lemström; Maurizio Lenzerini; Giacomo Lenzi ...
Telephone & Addresses
Daniel M Leivant, 68, Carmel, US, Hussey Ln
View Daniel's social profiles and photos on Facebook, MySpace, and +40 Networks.
Daniel M Leivant, 68, Indianapolis, US, Park Central Dr W
View Daniel's social profiles and photos on Facebook, MySpace, and +40 Networks.
Daniel M Leivant, 68, Ithaca, US, Winston Ct, Apt 6
View Daniel's social profiles and photos on Facebook, MySpace, and +40 Networks.
Daniel M Leivant, 68, Pittsburgh, US, Marlborough Rd
View Daniel's social profiles and photos on Facebook, MySpace, and +40 Networks.
Interests
Daniel Leivant, On the proof theory of the modal logic for arithmetic...
philpapers.org
Lynne Tirrell · Aness Webster · Other editors · Contact us · Learn more about PhilPapers · Daniel Leivant · Journal of Symbolic Logic 46 (3): (1981) ...
Daniel Leivant, Intrinsic reasoning about functional programs I:...
philpapers.org
We propose a rudimentary formal framework for reasoning about recursion equations over inductively generated data. Our formalism admits all equational programs...
Daniel Leivant, Syntactic translations and provably recursive...
philpapers.org
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions
Business Profiles
Researchgate: Daniel Leivant
Bloomington, Indiana, United States
Daniel LEIVANT | PhD | IUB | Department of Computer Science
www.researchgate.net
› profile › Daniel-Leivant
Daniel Leivant Indiana University Bloomington | IUB
www.researchgate.net
› profile › Daniel-Leivant-2
Just a moment...
www.zoominfo.com
View Daniel Leivant's business profile as Professor at Indiana University and see work history, affiliations and more.
Employees
Daniel Leivant at Indiana University Bloomington -...
www.ratemyprofessors.com
Rating and reviews for Professor Daniel Leivant from Indiana University Bloomington Bloomington, IN United States.
Education
Daniel Leivant: Faculty: About: Department of Mathematics
math.indiana.edu
› ... › Faculty › Daniel Leivant
cfp-LICS txt - Stanford AI Lab
robotics.stanford.edu
... "Automata and logic" CONFERENCE CHAIR: Daniel Leivant .edu PUBLICITY CHAIR: Leonid Libkin -labs.com LICS ... › ~suresh › theory › conf
The Polynomial-Time Hierarchy
web.math.princeton.edu
The Polynomial-Time Hierarchy This is material related to MAT 504, Topics in Logic, for the Spring term of (MWF 1:30-2:20, ... [Le] Daniel Leivant, ...
Daniel Leivant's Home Page
legacy.cs.indiana.edu
Daniel Leivant Professor of Computer Science and Adjunct Professor of Mathematics and Philosophy Indiana University Bloomington Contact: Email: lastname at indiana period edu Street: 201A Lindley Hall, Bloomington, IN
Heritage
Daniel Leivant - Ancestry.com
www.ancestry.com
Photo: Rosenstraat left & Laurierstraat right Amsterdam Category: Portrait. Description: Rozenstraat on left where Daniel%ehl% LeVent lived and ...
Daniel Leivant - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Daniel Leivant has 2 students and 2 descendants. We welcome any additional information. If you have additional …
Anne Troelstra - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Daniel Leivant: Universiteit van Amsterdam: 1975: 2: Ieke Moerdijk: Universiteit van Amsterdam: 1985: 25: Andreja Prijatelj: Universiteit van Amsterdam: 1995: Gerard ...
Books & Literature
Evaluation of Old Age Pension Schemes in Karnataka ...
www.betterworldbooks.com
... Revenue Department: Phase I-Final Report by G. Goos, J. Hartmanis, Daniel Leivant, Jan Van Leeuwen with fast shipping on every used book we have in stock! › product › detail
bokus.com: Daniel Leivant - Böcker | Bokus bokhandel
› cgi-bin › p...
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, ...
books.google.com
( Leivant , 1990b ) Daniel Leivant . Subrecursion and lambda representation over free algebras . In Samuel Buss and Philip Scott , editors , Feasible ...
Harvey Friedman's Research on the Foundations of Mathematics
books.google.com
Daniel Leivant, Friedman's proof that disjunction instantiation implies existential instantiation; memo, August Daniel Lcivant, Two properties of ...
Related Documents
Citation index
static.aminer.org
Daniel Leivant ”Subrecursion and lambda representation over free algebras” Feasible Mathematics, Perspectives in Computer Science. › pdf › PDF › the_set_of_...
Failure of completeness properties of intuitionistic Numdam
www.numdam.org
by D Leivant · · Cited by 16 — DANIEL LEIVANT. Failure of completeness properties of intuitionistic predicate logic for constructive models. Annales scientifiques de l'Université de ... › item › ASCFM_1976_...
Lambda calculus characterizations of poly-time - Loria
members.loria.fr
by D Leivant · · Cited by 186 — Daniel Leivant and Jean-Yves Marion. Department of Computer Science. Indiana University. Bloomington, IN edu. .fr. › Research › Articles › tlca93
Scientific Publications
Innocuous Substitutions - jstor
www.jstor.org
by D Leivant · · Cited by 3 — DANIEL LEIVANT ?1. In classical first-order predicate logic CL1 (without equality) only tautologies and antitautologies satisfy nontautological schemas. › stable
Search results for "Daniel Leivant" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 77 publication records. Showing 76 according to the selection in the facets . Hits
Publications
Lambda calculus characterizations of poly-time | SpringerLink
link.springer.com
Lambda calculus characterizations of poly-time Daniel Leivant, ... Lambda calculus characterizations of poly-time
Predicative recurrence in finite types | SpringerLink
link.springer.com
We consider the functionals defined using an extension to higher types of predicative recurrence, introduced in [Lei90b, BC92, Lei93b]. Three styles of...
Reports & Statements
Google Groups: teaching TLA - Google Groups
Daniel Leivant Professor of computer science and adjunct professor of mathematics. Indiana University Bloomington. Stephan Merz's profile photo ... › tlaplus
Wikipedia: Ruy de Queiroz - Wikipedia
Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola ... Wilfrid Hodges, Anuj Dawar, Hiroakira Ono, Makoto Kanzawa, Daniel Leivant, Lev ...
Miscellaneous
Daniel Leivant at Indiana University Bloomington | Coursicle IU
www.coursicle.com
› indiana › professors › Dan...
Daniel Leivant | LinkedIn
www.linkedin.com
View Daniel Leivant's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Daniel Leivant discover inside ...
Daniel Leivant - Indiana University Bloomington - LinkedIn
www.linkedin.com
› daniel-leivant-0b9a22241
Accepted Papers – Logical Foundations Of Computer Science
lfcs.ws.gc.cuny.edu
Belief expansion in subset models; Daniel Leivant. Finitism, concrete programs and primitive recursion; Yanhong A. Liu and Scott Stoller. › lfcs › accepted-papers
Contents - BRICS
www.brics.dk
: Daniel Leivant: Termination Proofs and Complexity Certification; 65: Daniel Leivant: The boundedness principle; 75: Daniel Leivant: Substructural ... › ...
Contracting proofs to programs - Carnegie Mellon University
kilthub.cmu.edu
Contracting Proofs to Programs Daniel Leivant July 25,1989 CMU-CS School of Computer Science Carnegie Mellon University Pittsburgh, ... › articles › journal_contribution
DICE École normale supérieure de Lyon
www.ens-lyon.fr
Ugo Dal Lago (University of Bologna) Martin Hofmann (LMU Munich) Lars Kristiansen (University of Oslo) Daniel Leivant (Indiana University) › LIP › DICE2010
Failure of completeness properties of intuitionistic predicate ...
eudml.org
by D Leivant · · Cited by 16 — Failure of completeness properties of intuitionistic predicate logic for constructive models. Daniel Leivant · Annales scientifiques de l'Université de ... › doc
Feasible functionals and intersection of ramified types
www.doc.ic.ac.uk
by D Leivant · — Daniel Leivant. Computer Science Department, Indiana University, Bloomington, IN Abstract. We show that the basic feasible functions of Cook and ... › ENTCS › entcs75110
Implicational complexity in intuitionistic arithmetic
www.cambridge.org
by D Leivant · · Cited by 9 — Implicational complexity in intuitionistic arithmetic. Published online by Cambridge University Press: 12 March Daniel Leivant. Show author details ... › core › journals › article › im...
Implicit complexity for coinductive data: a characterization of ...
doi.org
Jan 5, — Authors:Daniel Leivant (Indiana University and LORIA Nancy), Ramyaa Ramyaa (Indiana University and Ludwig-Maximilians-Universität München). › EPTCS.75.1
Primitive recursion in the abstract - Archive ouverte HAL
hal.archives-ouvertes.fr
Nov 3, — Daniel Leivant, Jean-Yves Marion. Primitive recursion in the abstract. Mathematical Structures in Computer Science, Cambridge University ... › hal-...
Programme_DICE - ETAPS 2023
etaps.org
Daniel Leivant and Ramyaa Ramyaa : Another characterization of provably recursive functions. Evgeny Makarov ... › 8-etaps › 72-programmedice
Propositional Dynamic Logic with Program Quantifiers
cyberleninka.org
Daniel Leivant. CC BY-NC-ND ... Abstract of research paper on Computer and information sciences, author of scientific article — Daniel Leivant. › article
Re: [tlaplus] teaching TLA - Mail Thread Index
discuss.tlapl.us
Dec 16, — Dear Daniel Leivant,. Leslie's hyperbook is an obvious source for many ideas for such a course, it is essentially a tutorial: ... › msg00585
Related search requests for Daniel Leivant
Samuel Buss |
People Forename "Daniel" (129973) Name "Leivant" (1) |
sorted by relevance / date