| Publication | Date of Publication | Type |
|---|
| Computational expressivity of (circular) proofs with fixed points | 2026-02-27 | Paper |
| Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics | 2026-02-19 | Paper |
Computational expressivity of (circular) proofs with fixed points
Logical Methods in Computer Science | 2026-02-13 | Paper |
| Cyclic system for an algebraic theory of alternating parity automata | 2026-02-10 | Paper |
| Comparing infinitary systems for linear logic with fixed points | 2025-07-28 | Paper |
| A proof theory of right-linear ( -)grammars via cyclic proofs | 2025-06-18 | Paper |
Proof complexity of positive branching programs
Logical Methods in Computer Science | 2025-03-25 | Paper |
| A proof theory of ( -)context-free languages, via non-wellfounded proofs | 2025-01-31 | Paper |
| Cyclic implicit complexity | 2024-12-06 | Paper |
| Cyclic proofs for arithmetical inductive definitions | 2024-10-21 | Paper |
| Non-uniform complexity via non-wellfounded proofs | 2024-09-25 | Paper |
| Decision problems for linear logic with least and greatest fixed points | 2024-05-27 | Paper |
| On intuitionistic diamonds (and lack thereof) | 2024-05-17 | Paper |
Existence of solutions of fractional hybrid differential equations via measure of noncompactness
Rocky Mountain Journal of Mathematics | 2024-05-10 | Paper |
Dynamics of a submerged compound pendulum
International Journal of Structural Stability and Dynamics | 2024-04-23 | Paper |
A generalized Darbo's fixed point theorem and its applications to different types of hybrid differential equations
Boundary Value Problems | 2024-04-10 | Paper |
| Common fixed point theorem of family of contraction maps and its applications in integral equations | 2024-04-09 | Paper |
Solution of Hammerstein type integral equation with two variables via a new fixed point theorem
The Journal of Analysis | 2024-02-23 | Paper |
On composition operators of Fibonacci matrix and applications of Hausdorff measure of noncompactness
Boletim da Sociedade Paranaense de Matemática | 2024-02-08 | Paper |
Modified version of fixed point theorems and their applications on a fractional hybrid differential equation in the space of continuous tempered functions
Journal of Pseudo-Differential Operators and Applications | 2024-01-19 | Paper |
Cyclic hypersequent system for transitive closure logic
Journal of Automated Reasoning | 2023-09-19 | Paper |
| Intuitionistic G\"odel-L\"ob logic, \`a la Simpson: labelled systems and birelational semantics | 2023-09-01 | Paper |
Enumerating Independent Linear Inferences
Logical Methods in Computer Science | 2023-08-26 | Paper |
| On the Logical Strength of Confluence and Normalisation for Cyclic Proofs. | 2023-06-23 | Paper |
| New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial | 2023-06-23 | Paper |
| Application of a generalization of Darbos fixed point theorem on an integral equation involving the weighted fractional integral with respect to another function | 2023-06-15 | Paper |
| Cyclic proofs for arithmetical inductive definitions | 2023-06-14 | Paper |
A fixed point result via new condensing operator and its application to a system of generalized proportional fractional integral equations
Journal of Pseudo-Differential Operators and Applications | 2023-05-04 | Paper |
Application of Measure of Noncompactness on Infinite System of Functional Integro-differential Equations with Integral Initial Conditions
Sequence Space Theory with Applications | 2023-04-21 | Paper |
Solution of Volterra Integral Equations in Banach Algebras using Measure of Noncompactness
Sequence Space Theory with Applications | 2023-04-21 | Paper |
| Modal logic and the polynomial hierarchy: from QBFs to K and back | 2023-03-24 | Paper |
Existence of a solution to an infinite system of weighted fractional integral equations of a function with respect to another function via a measure of noncompactness
Demonstratio Mathematica | 2023-02-23 | Paper |
scientific article; zbMATH DE number 7650825 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
Existence of an infinite system of fractional hybrid differential equations in a tempered sequence space
Fractional Calculus \ Applied Analysis | 2022-12-21 | Paper |
Cyclic proofs, hypersequents, and transitive closure logic
(available as arXiv preprint) | 2022-12-07 | Paper |
Proof complexity of monotone branching programs
(available as arXiv preprint) | 2022-12-07 | Paper |
Study of fixed point theorem and infinite systems of integral equations
Metric Fixed Point Theory | 2022-11-18 | Paper |
A fixed point theorem using condensing operators and its applications to Erdélyi-Kober bivariate fractional integral equations
Turkish Journal of Mathematics | 2022-09-06 | Paper |
On solution of generalized proportional fractional integral via a new fixed point theorem
Advances in Difference Equations | 2022-08-25 | Paper |
Best proximity point results and application to a system of integro-differential equations
Advances in Difference Equations | 2022-08-25 | Paper |
Iterative algorithm and theoretical treatment of existence of solution for \((k, z)\)-Riemann-Liouville fractional integral equations
Journal of Pseudo-Differential Operators and Applications | 2022-07-20 | Paper |
Existence of solutions for nonlinear integral equations in tempered sequence spaces via generalized Darbo-type theorem
Journal of Function Spaces | 2022-06-10 | Paper |
Solvability of infinite systems of nonlinear integral equations in two variables by using semi-analytic method
Filomat | 2022-06-03 | Paper |
Solvability of infinite systems of fractional differential equations in the spaces of tempered sequences
Filomat | 2022-06-03 | Paper |
Extension of Darbo’s fixed point theorem via shifting distance functions and its application
Nonlinear Analysis: Modelling and Control | 2022-05-31 | Paper |
| scientific article; zbMATH DE number 7533344 (Why is no real title available?) | 2022-05-28 | Paper |
| A recursion-theoretic characterisation of the positive polynomial-time functions | 2022-05-28 | Paper |
Solvability of fractional integral equations via Darbo's fixed point theorem
Journal of Pseudo-Differential Operators and Applications | 2022-05-25 | Paper |
Measure of noncompactness of a new space of tempered sequences and its application on fractional differential equations
Chaos, Solitons and Fractals | 2022-04-14 | Paper |
Solvability of generalized fractional order integral equations via measures of noncompactness
Mathematical Sciences | 2022-03-30 | Paper |
| scientific article; zbMATH DE number 7450979 (Why is no real title available?) | 2021-12-27 | Paper |
Iterative method to find approximate solution of system of integral equations via generalized Meir-Keeler condensing operator
São Paulo Journal of Mathematical Sciences | 2021-12-03 | Paper |
| Cyclic Implicit Complexity | 2021-10-03 | Paper |
Measure of noncompactness in Banach algebra and its application on integral equations of two variables
Advances in Metric Fixed Point Theory and Applications | 2021-09-02 | Paper |
Proof complexity of positive branching programs
(available as arXiv preprint) | 2021-02-12 | Paper |
| A circular version of G\"odel's T and its abstraction complexity | 2020-12-28 | Paper |
scientific article; zbMATH DE number 7269253 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269253 (Why is no real title available?) | 2020-11-03 | Paper |
From QBFs to \textsf{MALL} and back via focussing
Journal of Automated Reasoning | 2020-11-02 | Paper |
Existence of solution of infinite systems of inhomogeneous wave equations using Hausdorff measure of noncompactness
Advances in Operator Theory | 2020-08-18 | Paper |
| Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs | 2020-04-27 | Paper |
| Solvability of infinite system of nonlinear singular integral equations in the \(C(I \times I, c)\) space and modified semi-analytic method to find a closed-form of solution | 2020-03-04 | Paper |
Existence of solution for two dimensional nonlinear fractional integral equation by measure of noncompactness and iterative algorithm to solve it
Journal of Computational and Applied Mathematics | 2020-02-18 | Paper |
scientific article; zbMATH DE number 7155168 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-22 | Paper |
Compactness of binomial difference operator of fractional order and sequence spaces
Rendiconti del Circolo Matematico di Palermo | 2019-11-29 | Paper |
Existence of solution for non-linear functional integral equations of two variables in Banach algebra
Symmetry | 2019-11-20 | Paper |
Proof complexity of systems of (non-deterministic) decision trees and branching programs
(available as arXiv preprint) | 2019-10-18 | Paper |
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
EPiC Series in Computing | 2019-07-04 | Paper |
Applications of a fixed point theorem to the existence of solutions to the nonlinear functional integral equations in two variables
Rendiconti del Circolo Matematico di Palermo | 2019-06-20 | Paper |
Application of measure of noncompactness for solvability of the infinite system of integral equations in two variables in \(\ell _{p} \) \((1<p< \infty)\)
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2019-03-26 | Paper |
| Some properties of generalized Fibonacci difference bounded and \(p\)-absolutely convergent sequences | 2019-03-12 | Paper |
Some properties of generalized Fibonacci difference bounded and \(p\)-absolutely convergent sequences
(available as arXiv preprint) | 2019-03-12 | Paper |
| Matrix transformation of Fibonacci band matrix on generalized \(bv\)-space and its dual spaces | 2019-03-12 | Paper |
| Focussing, \(\mathsf{MALL}\) and the polynomial hierarchy | 2018-10-18 | Paper |
Existence of solutions of infinite systems of differential equations of general order with boundary conditions in the spaces <i>c</i><sub>0</sub> and <b><i>ℓ</i></b><sub>1</sub> via the measure of noncompactness
Mathematical Methods in the Applied Sciences | 2018-08-23 | Paper |
On the logical complexity of cyclic arithmetic
(available as arXiv preprint) | 2018-07-26 | Paper |
A complete axiomatization of MSO on infinite trees
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
From positive and intuitionistic bounded arithmetic to monotone proof complexity
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
On the pigeonhole and related principles in deep inference and monotone systems
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Some new Fibonacci difference spaces of non-absolute type and compact operators
Linear and Multilinear Algebra | 2018-02-19 | Paper |
| A cut-free cyclic proof system for Kleene algebra | 2018-02-02 | Paper |
Solvability of the infinite system of integral equations in two variables in the sequence spaces \(c_0\) and \(\ell_1\)
Journal of Computational and Applied Mathematics | 2017-08-01 | Paper |
| Free-cut elimination in linear logic and an application to a feasible arithmetic | 2017-07-19 | Paper |
| No complete linear term rewriting system for propositional logic | 2017-07-12 | Paper |
| Some Fibonacci sequence spaces of non-absolute type derived from $\ell_{p} $ with $(1 \leq p \leq \infty)$ and Hausdorff measure of non-compactness of composition operators | 2017-06-18 | Paper |
On linear rewriting systems for Boolean logic and some applications to proof theory
Logical Methods in Computer Science | 2017-04-11 | Paper |
| Rewriting with linear inferences in propositional logic | 2017-02-01 | Paper |
On nested sequents for constructive modal logics
Logical Methods in Computer Science | 2015-10-29 | Paper |
On the relative proof complexity of deep inference via atomic flows
Logical Methods in Computer Science | 2015-03-11 | Paper |
Complexity of Deep Inference via Atomic Flows
Lecture Notes in Computer Science | 2012-08-14 | Paper |
On the proof complexity of cut-free bounded deep inference
Lecture Notes in Computer Science | 2011-07-01 | Paper |
A proof theory of right-linear (omega-)grammars via cyclic proofs
(available as arXiv preprint) | N/A | Paper |
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
(available as arXiv preprint) | N/A | Paper |
