| Publication | Date of Publication | Type |
|---|
| 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 | 2024-05-10 | Paper |
| Dynamics of a submerged compound pendulum | 2024-04-23 | Paper |
| A generalized Darbo's fixed point theorem and its applications to different types of hybrid differential equations | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6126160 | 2024-04-09 | Paper |
| Solution of Hammerstein type integral equation with two variables via a new fixed point theorem | 2024-02-23 | Paper |
| On composition operators of Fibonacci matrix and applications of Hausdorff measure of noncompactness | 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 | 2024-01-19 | Paper |
| Cyclic hypersequent system for transitive closure logic | 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 | 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 | 2023-05-04 | Paper |
| Application of Measure of Noncompactness on Infinite System of Functional Integro-differential Equations with Integral Initial Conditions | 2023-04-21 | Paper |
| Solution of Volterra Integral Equations in Banach Algebras using Measure of Noncompactness | 2023-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884953 | 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 | 2023-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874198 | 2023-02-07 | Paper |
| Existence of an infinite system of fractional hybrid differential equations in a tempered sequence space | 2022-12-21 | Paper |
| Cyclic proofs, hypersequents, and transitive closure logic | 2022-12-07 | Paper |
| Proof complexity of monotone branching programs | 2022-12-07 | Paper |
| Study of Fixed Point Theorem and Infinite Systems of Integral Equations | 2022-11-18 | Paper |
| A fixed point theorem using condensing operators and its applications to Erdelyi--Kober bivariate fractional integral equations | 2022-09-06 | Paper |
| On solution of generalized proportional fractional integral via a new fixed point theorem | 2022-08-25 | Paper |
| Best proximity point results and application to a system of integro-differential equations | 2022-08-25 | Paper |
| Iterative algorithm and theoretical treatment of existence of solution for \((k, z)\)-Riemann-Liouville fractional integral equations | 2022-07-20 | Paper |
| Existence of solutions for nonlinear integral equations in tempered sequence spaces via generalized Darbo-type theorem | 2022-06-10 | Paper |
| Solvability of infinite systems of nonlinear integral equations in two variables by using semi-analytic method | 2022-06-03 | Paper |
| Solvability of infinite systems of fractional differential equations in the spaces of tempered sequences | 2022-06-03 | Paper |
| Extension of Darbo’s fixed point theorem via shifting distance functions and its application | 2022-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079743 | 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 | 2022-05-25 | Paper |
| Measure of noncompactness of a new space of tempered sequences and its application on fractional differential equations | 2022-04-14 | Paper |
| Solvability of generalized fractional order integral equations via measures of noncompactness | 2022-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019064 | 2021-12-27 | Paper |
| Iterative method to find approximate solution of system of integral equations via generalized Meir-Keeler condensing operator | 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 | 2021-09-02 | Paper |
| Proof complexity of positive branching programs | 2021-02-12 | Paper |
| A circular version of G\"odel's T and its abstraction complexity | 2020-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129949 | 2020-11-03 | Paper |
| From QBFs to \textsf{MALL} and back via focussing | 2020-11-02 | Paper |
| Existence of solution of infinite systems of inhomogeneous wave equations using Hausdorff measure of noncompactness | 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(Itimes 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 | 2020-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208872 | 2020-01-22 | Paper |
| Compactness of binomial difference operator of fractional order and sequence spaces | 2019-11-29 | Paper |
| Existence of solution for non-linear functional integral equations of two variables in Banach algebra | 2019-11-20 | Paper |
| Proof complexity of systems of (non-deterministic) decision trees and branching programs | 2019-10-18 | Paper |
| Left-Handed Completeness for Kleene algebra, via Cyclic Proofs | 2019-07-04 | Paper |
| Applications of a fixed point theorem to the existence of solutions to the nonlinear functional integral equations in two variables | 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)\) | 2019-03-26 | Paper |
| Some properties of Generalized Fibonacci difference bounded and $p$-absolutely convergent sequences | 2019-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119713 | 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 c0 and ℓ1 via the measure of noncompactness | 2018-08-23 | Paper |
| On the logical complexity of cyclic arithmetic | 2018-07-26 | Paper |
| A Complete Axiomatization of MSO on Infinite Trees | 2018-04-23 | Paper |
| From positive and intuitionistic bounded arithmetic to monotone proof complexity | 2018-04-23 | Paper |
| On the pigeonhole and related principles in deep inference and monotone systems | 2018-04-23 | Paper |
| Some new Fibonacci difference spaces of non-absolute type and compact operators | 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\) | 2017-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278429 | 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 | 2017-04-11 | Paper |
| Rewriting with Linear Inferences in Propositional Logic | 2017-02-01 | Paper |
| On Nested Sequents for Constructive Modal Logics | 2015-10-29 | Paper |
| On the relative proof complexity of deep inference via atomic flows | 2015-03-11 | Paper |
| Complexity of Deep Inference via Atomic Flows | 2012-08-14 | Paper |
| On the proof complexity of cut-free bounded deep inference | 2011-07-01 | Paper |
| A proof theory of right-linear (omega-)grammars via cyclic proofs | N/A | Paper |
| A proof theory of (omega-)context-free languages, via non-wellfounded proofs | N/A | Paper |
