Zum Inhalt springen

Afshari, Bahareh [VerfasserIn]; Leigh, Graham E. [VerfasserIn] ; Bahareh Afshari and Graham E. Leigh [MitwirkendeR]

On closure ordinals for the modal mu-calculus

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Afshari, Bahareh [VerfasserIn]; Leigh, Graham E. [VerfasserIn]

Finitary proof systems for Kozen's μ

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 2016

Erschienen in: Oberwolfach preprints ; 2016,26
Afshari, Bahareh [VerfasserIn]; Leigh, Graham E. [VerfasserIn]

Finitary proof systems for Kozen’s μ - [published Version]

Online ansehen
Schließen

Links

https://oa.tib.eu/renate/handle/123456789/2444

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach, 2016

Erschienen in: Oberwolfach Preprints (OWP), Volume 2016-26, ISSN 1864-7596
Afshari, Bahareh [VerfasserIn]; Hetzl, Stefan [VerfasserIn]; Leigh, Graham E. [VerfasserIn] ; Bahareh Afshari and Stefan Hetzl and Graham E. Leigh [MitwirkendeR]

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Afshari, Bahareh [VerfasserIn]; Hetzl, Stefan [VerfasserIn]; Leigh, Graham E. [VerfasserIn]

Herbrand's theorem as higher order recursion - [Available online 19 February 2020]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2020

Erschienen in: Annals of pure and applied logic ; Volume 171(2020), Issue 6, Article 102792
Afshari, Bahareh [VerfasserIn]; Hetzl, Stefan [VerfasserIn]; Leigh, Graham E. [VerfasserIn]

Herbrand's theorem as higher order recursion

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 2018

Erschienen in: Oberwolfach preprints ; 2018,01
Afshari, Bahareh [VerfasserIn]; Leigh, Graham E. [VerfasserIn]; Menéndez Turata, Guillermo [VerfasserIn] ; Bahareh Afshari and Graham E. Leigh and Guillermo Menéndez Turata [MitwirkendeR]

A Cyclic Proof System for Full Computation Tree Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Afshari, Bahareh; Wehr, Dominik

Abstract cyclic proofs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2024

Erschienen in: Mathematical Structures in Computer Science
Afshari, Bahareh; Wehr, Dominik

Logic, Language, Information, and Computation: Abstract Cyclic Proofs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2022

Erschienen in: Logic, Language, Information, and Computation
Afshari, Bahareh; Rathjen, Michael

Lecture Notes in Computer Science: Ordinal Analysis and the Infinite Ramsey Theorem

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Lecture Notes in Computer Science
Afshari, Bahareh; Rathjen, Michael

A note on the theory of positive induction, $${{\rm ID}^*_1}$$

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2010

Erschienen in: Archive for Mathematical Logic
Afshari, Bahareh; Rathjen, Michael

Reverse mathematics and well-ordering principles: A pilot study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2009

Erschienen in: Annals of Pure and Applied Logic
Afshari, Bahareh; Leigh, Graham E.

Lecture Notes in Computer Science: Lyndon Interpolation for Modal $$\mu $$-Calculus

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2022

Erschienen in: Lecture Notes in Computer Science
Afshari, Bahareh; Leigh, Graham E.

Circular proofs for the modal mu‐calculus

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2016

Erschienen in: PAMM
Afshari, Bahareh; Jäger, Gerhard; Leigh, Graham E.

Logic, Language, Information, and Computation: An Infinitary Treatment of Full Mu-Calculus

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2019

Erschienen in: Logic, Language, Information, and Computation
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.

Herbrand's theorem revisited

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2016

Erschienen in: PAMM
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.

On the Herbrand content of LK

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2016

Erschienen in: Electronic Proceedings in Theoretical Computer Science
Afshari, Bahareh; Barmpalias, George; Cooper, S. Barry

Lecture Notes in Computer Science: Immunity Properties and the n-C.E. Hierarchy

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Lecture Notes in Computer Science
Afshari, Havva; Noori, Shokoofe; Shokri, Bahareh; Zarghi, Afshin

Co-treatment of Naringenin and Ketoprofen-RGD Suppresses Cell Proliferation via Calmodulin/PDE/cAMP/PKA Axis Pathway in Leukemia and Ovarian Cancer Cells

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Briefland, 2023

Erschienen in: Iranian Journal of Pharmaceutical Research
Afshari, Bahareh; Grotenhuis, Lide; Leigh, Graham E.; Zenger, Lukas

Lecture Notes in Computer Science: Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2023

Erschienen in: Lecture Notes in Computer Science

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr