Search results for "transfinite"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
102	Salvador Lucas	Transfinite Rewriting Semantics for Term Rewriting Systems.	RTA	2001	DBLP DOI BibTeX RDF
86	Alexander G. Belyaev	On transfinite barycentric coordinates.	Symposium on Geometry Processing	2006	DBLP DOI BibTeX RDF
70	Sébastien Konieczny	Using Transfinite Ordinal Conditional Functions.	ECSQARU	2009	DBLP DOI BibTeX RDF
70	Nilanjan Mukherjee 0002	High Quality Bi-Linear Transfinite Meshing with Interior Point Constraints.	IMR	2006	DBLP DOI BibTeX RDF
70	Alberto Paoluzzi	Variable-Free Representation of Manifolds via Transfinite Blending with a Functional Language.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
53	Julian C. Bradfield, Jacques Duparc, Sandra Quickert	Transfinite Extension of the Mu-Calculus.	CSL	2005	DBLP DOI BibTeX RDF
53	Dag Normann, Geir Waagbø	Limit spaces and transfinite types.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
49	Härmel Nestra	Fractional Semantics.	AMAST	2006	DBLP DOI BibTeX RDF
46	Ulisses Ferreira	The sets of real and complex numbers are denumerable.	SIGACT News	2005	DBLP DOI BibTeX RDF	cantor, foundation of mathematics, foundations of computer science, numbers and sets, real, transfinite, computability, enumerability, mathematics, number theory, philosophy, halting problem
41	Christian Choffrut, Sándor Horváth	Transfinite Equations in Transfinite Strings.	Int. J. Algebra Comput.	2000	DBLP DOI BibTeX RDF
37	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
37	Philip D. Welch	Turing Unbound: Transfinite Computation.	CiE	2007	DBLP DOI BibTeX RDF
37	Henry Towsner	Epsilon substitution for transfinite induction.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Epsilon substitution, Cut elimination
37	Katsunori Nakamura, Akira Fusaoka	On Transfinite Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
37	Ulrich Berger 0001	Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
37	Christian Choffrut, Sándor Horváth	Equations in Transfinite Strings.	MFCS	1998	DBLP DOI BibTeX RDF
37	Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries	Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).	RTA	1991	DBLP DOI BibTeX RDF	orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms
33		Understanding the Small Object Argument.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 55U35, 18C10
33	Jeffrey Sarnat, Carsten Schürmann 0001	Lexicographic Path Induction.	TLCA	2009	DBLP DOI BibTeX RDF
33	Sanjay Kumar Khattri	Multiblock Grid Generation for Simulations in Geological Formations.	ICCSA (1)	2007	DBLP DOI BibTeX RDF
33	Paula Severi, Fer-Jan de Vries	Order Structures on Böhm-Like Models.	CSL	2005	DBLP DOI BibTeX RDF
33	E. V. Krishnamurthy	Problems and Prospects for Quantum Computational Speed-up.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
33	Olivier Carton	Accessibility in Automata on Scattered Linear Orderings.	MFCS	2002	DBLP DOI BibTeX RDF
33	Volker Diekert	On the Concatenation of Infinite Traces.	STACS	1991	DBLP DOI BibTeX RDF
29	Rudolf Fleischer	Die Another Day.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Hydra battle, Buchholz Hydra, Peano arithmetic, PA, Koenig’s lemma, Transfinite induction
29	Roberto Giacobazzi, Isabella Mastroeni	Compositionality in the puzzle of semantics.	PEPM	2002	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation
21	Olivier Bournez, Riccardo Gozzi	Solving Discontinuous Initial Value Problems with Unique Solutions Is Equivalent to Computing over the Transfinite.	STACS	2024	DBLP DOI BibTeX RDF
21	Hauke Gravenkamp, Albert Artha Saputra, Sascha Eisenträger	Automatic 3D modeling by combining SBFEM and transfinite element shape functions.	CoRR	2023	DBLP DOI BibTeX RDF
21	Patrick Uftring	Weak and strong versions of Effective Transfinite Recursion.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
21	Juan P. Aguilera 0001	A topological completeness theorem for transfinite provability logic.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
21	Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe	Symmetry for Transfinite Computability.	CiE	2023	DBLP DOI BibTeX RDF
21	Xinyu Wang	Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning.	CoRR	2022	DBLP DOI BibTeX RDF
21	Christopher G. Provatidis	Non-Rational and Rational Transfinite Interpolation Using Bernstein Polynomials.	Int. J. Comput. Geom. Appl.	2022	DBLP DOI BibTeX RDF
21	Emile Hazard, Denis Kuperberg	Cyclic Proofs for Transfinite Expressions.	CSL	2022	DBLP DOI BibTeX RDF
21	Simon Spies, Neel Krishnaswami, Derek Dreyer	Transfinite step-indexing for termination.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
21	Cheng Peng	On Transfinite Levels of the Ershov Hierarchy.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
21	Bin Zhang 0038, Chunlei Liang	A conservative high-order method utilizing dynamic transfinite mortar elements for flow simulations on curved nonconforming sliding meshes.	J. Comput. Phys.	2021	DBLP DOI BibTeX RDF
21	Farmer Schlutzenberg	Iterability for (transfinite) stacks.	J. Math. Log.	2021	DBLP DOI BibTeX RDF
21	Joel David Hamkins, Davide Leonessi	Transfinite game values in infinite draughts.	CoRR	2021	DBLP BibTeX RDF
21	Philip D. Welch	Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines.	Comput.	2021	DBLP DOI BibTeX RDF
21	Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal	Transfinite Iris: resolving an existential dilemma of step-indexed separation logic.	PLDI	2021	DBLP DOI BibTeX RDF
21	Anton Freund	What is effective transfinite recursion in reverse mathematics?	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
21	André Garon, Michel C. Delfour	Mesh adaptation based on transfinite mean value interpolation.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
21	Chris Scambler	Transfinite Meta-inferences.	J. Philos. Log.	2020	DBLP DOI BibTeX RDF
21	Bin Zhang 0038, Chunlei Liang	A Conservative High-Order Method Utilizing Dynamic Transfinite Mortar Elements for Flow Simulation on Curved Sliding Meshes.	CoRR	2020	DBLP BibTeX RDF
21	Péter Salvi, István Kovács, Tamás Várady	Computationally efficient transfinite patches with fullness control.	CoRR	2020	DBLP BibTeX RDF
21	Michael S. Floater, Francesco Patrizi	Transfinite mean value interpolation over polygons.	Numer. Algorithms	2020	DBLP DOI BibTeX RDF
21	Nira Dyn, Bert Jüttler, Dominik Mokris	On the error in transfinite interpolation by low-rank functions.	J. Approx. Theory	2020	DBLP DOI BibTeX RDF
21	Olivier Carton, Luc Boasson	Transfinite Lyndon words.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
21	Sergij V. Goncharov	On (impracticality of) transfinite symmetric encryption with keys smaller than messages under GCH.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
21	Kentaro Sato	Ordinal analyses for monotone and cofinal transfinite inductions.	Arch. Math. Log.	2020	DBLP DOI BibTeX RDF
21	Sato Kentaro	A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
21	Júlia Komjáthy, Roland Molontay, Károly Simon	Transfinite fractal dimension of trees and hierarchical scale-free graphs.	J. Complex Networks	2019	DBLP DOI BibTeX RDF
21	Hugo Nobrega	Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
21	Michael S. Floater, Francesco Patrizi	Transfinite mean value interpolation over polygons.	CoRR	2019	DBLP BibTeX RDF
21	Philip D. Welch	Higher Type Recursion for Transfinite Machine Theory.	CiE	2019	DBLP DOI BibTeX RDF
21	Paolo Lipparini	Some transfinite natural sums.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
21	Olivier Carton, Luc Boasson	Transfinite Lyndon words.	CoRR	2018	DBLP BibTeX RDF
21	Anne-Sofie Wessel Lindberg, Thomas Martini Jørgensen, Vedrana Andersen Dahl	Linear, transfinite and weighted method for interpolation from grid lines applied to OCT images.	Appl. Soft Comput.	2018	DBLP DOI BibTeX RDF
21	David Fernández-Duque, Joost J. Joosten	The omega-rule interpretation of transfinite provability logic.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
21	Spencer Backman, Tony Huynh	Transfinite Ford-Fulkerson on a finite network.	Comput.	2018	DBLP DOI BibTeX RDF
21	Karin Baur, Sira Gratz	Transfinite mutations in the completed infinity-gon.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
21	Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín	Predicativity through Transfinite Reflection.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
21	Artjoms Sinkarovs, Sven-Bodo Scholz	A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams.	CoRR	2017	DBLP BibTeX RDF
21	William John Gowers, James Laird	Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.	CoRR	2017	DBLP BibTeX RDF
21	Anne-Sofie Wessel Lindberg, Thomas Martini Jørgensen, Vedrana Andersen Dahl	Interpolation from Grid Lines: Linear, Transfinite and Weighted Method.	SCIA (2)	2017	DBLP DOI BibTeX RDF
21	Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand	A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.	CADE	2017	DBLP DOI BibTeX RDF
21	William John Gowers, James Laird	Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.	CALCO	2017	DBLP DOI BibTeX RDF
21	Ágoston Róth	Nielson-type transfinite triangular interpolants by means of quadratic energy functional optimizations.	CoRR	2016	DBLP BibTeX RDF
21	Dmytro Kuzmenko, Dmytro S. Skorokhodov	Optimization of transfinite interpolation of functions with bounded Laplacian by harmonic splines on box partitions.	J. Approx. Theory	2016	DBLP DOI BibTeX RDF
21	Renjie Chen 0001, Craig Gotsman	Complex Transfinite Barycentric Mappings with Similarity Kernels.	Comput. Graph. Forum	2016	DBLP DOI BibTeX RDF
21	Kasper Svendsen, Filip Sieczkowski, Lars Birkedal	Transfinite Step-Indexing: Decoupling Concrete and Logical Steps.	ESOP	2016	DBLP DOI BibTeX RDF
21	Benjamin G. Rin	Transfinite recursion and computation in the iterative conception of set.	Synth.	2015	DBLP DOI BibTeX RDF
21	Noah David Schweber	Transfinite Recursion in Higher Reverse Mathematics.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
21	Alexander G. Belyaev, Pierre-Alain Fayolle	On transfinite Gordon-Wixom interpolation schemes and their extensions.	Comput. Graph.	2015	DBLP DOI BibTeX RDF
21	Mathieu Sanchez, Oleg Fryazinov, Valery Adzhiev, Peter Comninos, Alexander A. Pasko	Space-Time Transfinite Interpolation of Volumetric Material Properties.	IEEE Trans. Vis. Comput. Graph.	2015	DBLP DOI BibTeX RDF
21	Spencer Backman, Tony Huynh	Transfinite Ford-Fulkerson on a Finite Network.	CoRR	2015	DBLP BibTeX RDF
21	Luc Boasson, Olivier Carton	Transfinite Lyndon Words.	DLT	2015	DBLP DOI BibTeX RDF
21	Gert Smolka, Steven Schäfer, Christian Doczkal	Transfinite Constructions in Classical Type Theory.	ITP	2015	DBLP DOI BibTeX RDF
21	Iris Loeb	Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff.	Synth.	2014	DBLP DOI BibTeX RDF
21	Péter Salvi, Tamás Várady, Alyn P. Rockwood	Ribbon-based transfinite surfaces.	Comput. Aided Geom. Des.	2014	DBLP DOI BibTeX RDF
21	C. D. A. Evans, Joel David Hamkins	Transfinite Game Values in Infinite Chess.	Integers	2014	DBLP BibTeX RDF
21	Philip D. Welch	Discrete Transfinite Computation.	CoRR	2014	DBLP BibTeX RDF
21	David Fernández-Duque	The polytopologies of transfinite provability logic.	Arch. Math. Log.	2014	DBLP DOI BibTeX RDF
21	David Fernández-Duque, Joost J. Joosten	Well-orders in the transfinite Japaridze algebra.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
21	Philip D. Welch	Transfinite machine models.	Turing's Legacy	2014	DBLP DOI BibTeX RDF
21	Thilo Weinert	Transfinite Ramsey Numbers.	Electron. Notes Discret. Math.	2013	DBLP DOI BibTeX RDF
21	David Fernández-Duque, Joost J. Joosten	Models of transfinite provability logic.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
21	David Fernández-Duque, Joost J. Joosten	Hyperations, Veblen progressions and transfinite iteration of ordinal functions.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
21	Michael Norrish, Brian Huffman	Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1.	ITP	2013	DBLP DOI BibTeX RDF
21	Tamás Várady, Péter Salvi, Alyn P. Rockwood	Transfinite Surface Patches Using Curved Ribbons.	Eurographics (Short Papers)	2013	DBLP DOI BibTeX RDF
21	Jacques Patarin	Transfinite Cryptography.	Int. J. Unconv. Comput.	2012	DBLP BibTeX RDF
21	Yuanjie Liu, Hongbo Li 0012	B-spline patches and transfinite interpolation method for PDE controlled simulation.	J. Syst. Sci. Complex.	2012	DBLP DOI BibTeX RDF
21	Tamás Várady, Péter Salvi, Alyn P. Rockwood	Transfinite surface interpolation with interior control.	Graph. Model.	2012	DBLP DOI BibTeX RDF
21	Zach Weber	Transfinite Cardinals in Paraconsistent Set Theory.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
21	Jacques Patarin	Some Transfinite Generalisations of Gödel's Incompleteness Theorem.	Computation, Physics and Beyond	2012	DBLP DOI BibTeX RDF
21	David Fernández-Duque, Joost J. Joosten	Kripke Models of Transfinite Provability Logic.	Advances in Modal Logic	2012	DBLP BibTeX RDF
21	Keisuke Yoshii, Kazuyuki Tanaka	Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.	CiE	2012	DBLP DOI BibTeX RDF
21	Kentaro Fujimoto	Autonomous progression and transfinite iteration of self-applicable truth.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF