Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Makoto Fujiwara, Tatsuji Kawai |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sally Hamouda, Stephen H. Edwards, Hicham G. Elmongui, Jeremy V. Ernst, Clifford A. Shaffer |
RecurTutor: An Interactive Tutorial for Learning Recursion. |
ACM Trans. Comput. Educ. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Seungsang Oh |
State matrix recursion method and monomer-dimer problem. |
Discret. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | John Longley |
Bar recursion is not computable via iteration. |
Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Powell 0001 |
Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice. |
J. Log. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Berardi, Paulo Oliva, Silvia Steila |
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. |
J. Log. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Noppasit Chakpitak, Woraphon Yamaka, Paravee Maneejuk |
Predictive Recursion Maximum Likelihood for Kink Regression Model. |
Structural Changes and their Econometric Modeling |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth F. Caluya, Abhishek Halder |
Proximal Recursion for Solving the Fokker-Planck Equation. |
ACC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Masayuki Mizuno, Eijiro Sumii |
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kosuke Murata, Kento Emoto |
Recursion Schemes in Coq. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Forrest Laine, Claire J. Tomlin |
Parallelizing LQR Computation Through Endpoint-Explicit Riccati Recursion. |
CDC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Abhishek Halder, Tryphon T. Georgiou |
Proximal Recursion for the Wonham Filter. |
CDC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Olivier Bournez, Arnaud Durand 0001 |
Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations. |
MFCS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Clairambault, Andrzej S. Murawski |
On the Expressivity of Linear Recursion Schemes. |
MFCS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nikolay V. Shilov 0002, Danila Danko |
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems. |
FISEE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Colleen M. Lewis, Daniel D. Garcia, Helen H. Hu, Saber Khan, Nigamanth Sridhar, Bryan Twarek, Chinma Uche |
Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet. |
SIGCSE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kirshanthan Sundararajah, Milind Kulkarni 0001 |
Composable, sound transformations of nested recursion and loops. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis |
Stochastic program synthesis via recursion schemes. |
GECCO (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paulin Jacobé de Naurois |
Pointers in Recursion: Exploring the Tropics. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Niccolò Veltri, Niels van der Weide |
Guarded Recursion in Agda via Sized Types. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Philip D. Welch |
Higher Type Recursion for Transfinite Machine Theory. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Valentina Urzua, Claudio Gutierrez 0001 |
Linear Recursion in G-CORE. |
AMW |
2019 |
DBLP BibTeX RDF |
|
13 | Pierre Clairambault, Charles Grellois, Andrzej S. Murawski |
Linearity in higher-order recursion schemes. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb |
Contextual equivalence for a probabilistic language with continuous random variables and recursion. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Benhui Zhang 0002, Yuan-Sheng Tang |
On the Construction and Analysis of Verifiable Multi-secret Sharing Based on Non-homogeneous Linear Recursion. |
J. Inf. Sci. Eng. |
2018 |
DBLP BibTeX RDF |
|
13 | Sebastiaan A. Terwijn |
Generalizations of the Recursion Theorem. |
J. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paulo Oliva, Silvia Steila |
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. |
J. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sérgio Mota |
Corrigendum to "The Never Ending Recursion". |
FLAP |
2018 |
DBLP BibTeX RDF |
|
13 | Sandra Carillo, Mauro Lo Schiavo, Cornelia Schiebold |
Recursion operators admitted by non-Abelian Burgers equations: Some remarks. |
Math. Comput. Simul. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Fenna Poletiek, Christopher M. Conway, Michelle R. Ellefson, Jun Lai, Bruno R. Bocanegra, Morten H. Christiansen |
Under What Conditions Can Recursion Be Learned? Effects of Starting Small in Artificial Grammar Learning of Center-Embedded Structure. |
Cogn. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ales Bizjak, Lars Birkedal |
A model of guarded recursion via generalised equilogical spaces. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | John Case, Sanjay Jain 0001, Frank Stephan 0001 |
Effectivity questions for Kleene's recursion theorem. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hirotaka Niitsuma |
Context-Free Grammars Including Left Recursion using Recursive miniKanren. |
Computación y Sistemas |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Mariya S. Ushakova, Alexander I. Legalov |
Verification of Programs with Mutual Recursion in Pifagor Language. |
Autom. Control. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Forrest Laine, Claire J. Tomlin |
The Parallelization of Riccati Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Marco T. Morazán |
Vector Programming Using Generative Recursion. |
TFPIE@TFP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pawel Parys |
Recursion Schemes, the MSO Logic, and the U quantifier. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Olivier Bournez, Arnaud Durand 0001, Sabrina Ouazzani |
Recursion schemes, discrete differential equations and characterization of polynomial time computation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | John Longley |
Bar recursion is not computable via iteration. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Valentin Blot |
An interpretation of system F through bar recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Sebastiaan A. Terwijn |
Generalizations of the Recursion Theorem. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
Expansion-Based QBF Solving Without Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Eunji Jeong, Joo Seong Jeong, Soojeong Kim, Gyeong-In Yu, Byung-Gon Chun |
Improving the Expressiveness of Deep Learning Frameworks with Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Adrien Guatto |
A Generalized Modality for Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb |
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Paula Severi |
Two Light Modalities for Recursion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Carmen Lacave, Ana I. Molina, Miguel A. Redondo |
A Preliminary Instrument for Measuring Students' Subjective Perceptions of Difficulties in Learning Recursion. |
IEEE Trans. Educ. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | John Longley |
The recursion hierarchy for PCF is strict. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sergey Goncharov 0001, Lutz Schröder, Christoph Rauch, Julian Jakob |
Unguarded Recursion on Coinductive Resumptions. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Adam D. Barwell, Christopher Brown 0002, Kevin Hammond |
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Norman Do, Paul T. Norbury |
Topological recursion for irregular spectral curves. |
J. Lond. Math. Soc. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xiaodong Meng, Minyi Guo, Jingyu Zhang |
An Efficient Graph Query Framework with Structural Recursion. |
Comput. J. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Lokshtanov, M. S. Ramanujan 0001, Saket Saurabh 0001 |
When Recursion is Better than Iteration: A Linear-Time Algorithm for Acyclicity with Few Error Vertices. |
SODA |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Adrien Guatto |
A Generalized Modality for Recursion. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Tom Verhoeff |
A Master Class on Recursion. |
Adventures Between Lower Bounds and Higher Altitudes |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand |
Recursion aware modeling and discovery for hierarchical software event log analysis. |
SANER |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoxia Zheng, Haomiao Yang, Bin Tang |
An Improved Characters Recognition Approach Using Fast Determinant Recursion. |
MASS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Roman R. Redziejowski |
More about Left Recursion in PEG. |
CS&P |
2018 |
DBLP BibTeX RDF |
|
13 | Ramy Esteero, Mohammed Khan, Mohamed Mohamed 0003, Larry Yueli Zhang, Daniel Zingaro |
Recursion or Iteration: Does it Matter What Students Choose? |
SIGCSE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi |
Evaluating the Tracing of Recursion in the Substitution Notional Machine. |
SIGCSE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paul M. Roberts |
Directed Recursion Search: A Directed DFS for Online Pathfinding in Random Grid-Based Environments. |
SGAI Conf. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Della-Bosca |
Recursion and the augmented experience of public art. |
ACSW |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Pawel Parys |
Recursion Schemes and the WMSO+U Logic. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Celine Latulipe, Berto Gonzalez, Melissa Word, Sybil Huskey, David C. Wilson |
Moderate Recursion: A Digital Artifact of Interactive Dance. |
ArtsIT/DLI |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jonas Kaiser, Steven Schäfer, Kathrin Stark |
Binder aware recursion over well-scoped de Bruijn syntax. |
CPP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
Expansion-Based QBF Solving Without Recursion. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Anupam Das 0002, Isabel Oitavem |
A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. |
CSL |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Eunji Jeong, Joo Seong Jeong, Soojeong Kim, Gyeong-In Yu, Byung-Gon Chun |
Improving the expressiveness of deep learning frameworks with recursion. |
EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Cory M. Knapp |
Partial functions and recursion in univalent type theory. |
|
2018 |
RDF |
|
13 | Seokhyun Yoon |
Convergence and Density Evolution of a MIMO Detector Based on a Forward-Backward Recursion Over a Ring. |
IEEE Trans. Veh. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Milius, Tadeusz Litak |
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. |
Fundam. Informaticae |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück |
Join inverse categories and reversible recursion. |
J. Log. Algebraic Methods Program. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. |
ACM Trans. Comput. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Simon Thompson |
A General Method for Defining Objects by Recursion over Syntax. |
J. Univers. Comput. Sci. |
2017 |
DBLP BibTeX RDF |
|
13 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
Monitorability for the Hennessy-Milner logic with recursion. |
Formal Methods Syst. Des. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Vassilios Gregoriades |
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory. |
Math. Log. Q. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Sekson Sirisubtawee, Supaporn Kaewta |
New Modified Adomian Decomposition Recursion Schemes for Solving Certain Types of Nonlinear Fractional Two-Point Boundary Value Problems. |
Int. J. Math. Math. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ying-Hua Ji, Ju-Ju Hu |
Application of the recursion-transform method in calculating the equivalent resistance of two-dimensional finite resistor network. |
Int. J. Circuit Theory Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
A Devil's Advocate against Termination of Direct Recursion. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Marco T. Morazán |
Vector Programming Using Structural Recursion. |
TFPIE@TFP |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand |
Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | William Blum |
Type homogeneity is not a restriction for safe recursion schemes. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Seyed Mehran Kazemi, Angelika Kimmig, Guy Van den Broeck, David Poole 0001 |
Domain Recursion for Lifted Inference with Existential Quantifiers. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Jonathon Cai, Richard Shin, Dawn Song |
Making Neural Programming Architectures Generalize via Recursion. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Daniel Liu, Lvette Lopez |
A computer-based recursion algorithm for automatic charge of power device of electric vehicles carrying electromagnet. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | G. A. Kavvos |
On the Semantics of Intensionality and Intensional Recursion. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | G. A. Kavvos |
Intensionality, Intensional Recursion, and the Gödel-Löb axiom. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Rob J. van Glabbeek |
Lean and Full Congruence Formats for Recursion. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Rob J. van Glabbeek |
An Algebraic Treatment of Recursion. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Matthias Hauswirth |
If you have parents, you can learn recursion. |
Bull. EATCS |
2017 |
DBLP BibTeX RDF |
|
13 | Nicolae Anghel |
On a 2015 Putnam Problem Related to a Double Recursion. |
Am. Math. Mon. |
2017 |
DBLP BibTeX RDF |
|
13 | Alexandros Agapitos, Michael O'Neill 0001, Ahmed Kattan, Simon M. Lucas |
Recursion in tree-based genetic programming. |
Genet. Program. Evolvable Mach. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Sérgio Mota |
The never-ending recursion. |
J. Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Paulo Oliva, Thomas Powell 0001 |
Bar recursion over finite partial functions. |
Ann. Pure Appl. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Luke Nelson |
A recursion on maximal chains in the Tamari lattices. |
Discret. Math. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Luca Reggiani, Laura Dossi |
Computation of information rates by means of discrete states density recursion. |
Phys. Commun. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Joaquín Díaz-Boïls |
Categorical comprehensions and recursion. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Sally Hamouda, Stephen H. Edwards, Hicham G. Elmongui, Jeremy V. Ernst, Clifford A. Shaffer |
A basic recursion concept inventory. |
Comput. Sci. Educ. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pathairat Pastpipatkul, Woraphon Yamaka, Songsak Sriboonchitta |
Predictive Recursion Maximum Likelihood of Threshold Autoregressive Model. |
Robustness in Econometrics |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Peter G. Hinman |
Recursion-Theoretic Hierarchies |
|
2017 |
DOI RDF |
|