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 |
|