UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem

Mathematical structures in computer science, 2022-06, Vol.32 (6), p.685-728

Leiß, Hans

2022

Volltextzugriff (PDF)

Coequalizers and Tensor Products for Continuous Idempotent Semirings

Relational and Algebraic Methods in Computer Science, p.37-52

Volltextzugriff (PDF)

Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm

Formal Grammar, p.121-137

Volltextzugriff (PDF)

Second-order pre-logical relations and representation independence

Lecture notes in computer science, 2001, p.298-314

LEISS, Hans

2001

Volltextzugriff (PDF)

Automata on Lempel-Ziv Compressed Strings

Computer Science Logic, 2003, p.384-396

2003

Volltextzugriff (PDF)

Greibach Normal Form in Algebraically Complete Semirings

Computer Science Logic, 2002, p.135-150

2002

Volltextzugriff (PDF)

Resolving Plural Ambiguities by Type Reconstruction

Formal Grammar, p.267-286

Volltextzugriff (PDF)

Normal Forms for Elements of the ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$^$$\end{document}-continuous Kleene Algebras K⊗RC2′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setleng

Relational and Algebraic Methods in Computer Science, 2023, p.122-139

2023

Volltextzugriff (PDF)

Algebraically complete semirings and Greibach normal form

Annals of pure and applied logic, 2005-05, Vol.133 (1), p.173-203

2005

Volltextzugriff (PDF)

Polymorphic recursion and semi-unification

CSL '89, 2005, p.211-224

2005

Volltextzugriff (PDF)

On type inference for object-oriented programming languages

CSL '87, 2005, p.151-172

2005

Volltextzugriff (PDF)

Combining recursive and dynamic types

Typed Lambda Calculi and Applications, 2005, p.258-273

2005

Volltextzugriff (PDF)

Polymorphic constructs in natural and programming languages

Logics in AI, 2005, p.348-365

2005

Volltextzugriff (PDF)

Greibach Normal Form in Algebraically Complete Semirings

BRICS Report Series, 2002-12, Vol.9 (46)

2002

Volltextzugriff (PDF)

Type Reconstruction for λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-DRT Applied to Pronoun Resolution

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016), 2016, p.149-174

2016

Volltextzugriff (PDF)

A decidable case of the semi-unification problem

Mathematical Foundations of Computer Science 1991, 2005, p.318-327

2005

Volltextzugriff (PDF)

Kleene modules and linear languages

The journal of logic and algebraic programming, 2006-02, Vol.66 (2), p.185-194

Leiß, Hans

2006

Volltextzugriff (PDF)

Bounded fixed-point definability and tabular recognition of languages

Computer Science Logic, 1996, p.388-402

1996

Volltextzugriff (PDF)

Extending the type checker of Standard ML by polymorphic recursion

Theoretical computer science, 1999-02, Vol.212 (1), p.157-181

1999

Volltextzugriff (PDF)

On Kilbury's modification of Earley's algorithm

ACM transactions on programming languages and systems, 1990-10, Vol.12 (4), p.610-640

Leiss, Hans

1990

Volltextzugriff (PDF)

C-Dioids and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}-Continuous Chomsky-Algebras

Relational and Algebraic Methods in Computer Science, p.21-36

Volltextzugriff (PDF)

Radiation-induced alterations in multi-layered, in-vitro skin models detected by optical coherence tomography and histological methods

PloS one, 2023-03, Vol.18 (3), p.e0281662-e0281662

2023

Volltextzugriff (PDF)

Animal experimental investigation on the efficacy of antibiotic therapy with linezolid, vancomycin, cotrimoxazole, and rifampin in treatment of periprosthetic knee joint infections by MRSA

Bone & joint research, 2022-03, Vol.11 (3), p.143-151

2022

Volltextzugriff (PDF)

Corrigendum to “Lack of Gαi2 proteins in adipocytes attenuates diet-induced obesity” [Mol Metab 40 (2020 Oct) 101029]

Molecular metabolism (Germany), 2024-04, Vol.82, p.101910-101910, Article 101910

2024

Volltextzugriff (PDF)

Lack of Gαi2 proteins in adipocytes attenuates diet-induced obesity

Molecular metabolism (Germany), 2020-10, Vol.40, p.101029, Article 101029

2020

Volltextzugriff (PDF)

1 – 25 von 40

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(29)
Mit Volltextzugriff
(37)

Publikationsform

Sprache

Englisch
(38)
Deutsch
(3)

Erscheinungsjahr

n.n

Thema

Science & Technology
(18)
Technology
(12)
Computer Science
(11)
Computer Science, Theory & Methods
(10)
Mathematics
(5)
Physical Sciences
(5)
Type Inference
(5)
Applied Sciences
(4)
Computer Science; Control Theory; Systems
(4)
Exact Sciences And Technology
(4)
Humans
(4)
Kleene Algebra
(4)
Life Sciences & Biomedicine
(4)
Logic
(4)
Mathematics, Applied
(4)
Science & Technology - Other Topics
(4)
Computer Science, Artificial Intelligence
(3)
Equational Theory
(3)
Idempotent Semiring
(3)
Male
(3)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem

Coequalizers and Tensor Products for Continuous Idempotent Semirings

Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm

Second-order pre-logical relations and representation independence

Automata on Lempel-Ziv Compressed Strings

Greibach Normal Form in Algebraically Complete Semirings

Resolving Plural Ambiguities by Type Reconstruction

Algebraically complete semirings and Greibach normal form

Polymorphic recursion and semi-unification

On type inference for object-oriented programming languages

Combining recursive and dynamic types

Polymorphic constructs in natural and programming languages

Greibach Normal Form in Algebraically Complete Semirings

A decidable case of the semi-unification problem

Kleene modules and linear languages

Bounded fixed-point definability and tabular recognition of languages

Extending the type checker of Standard ML by polymorphic recursion

On Kilbury's modification of Earley's algorithm

C-Dioids and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}-Continuous Chomsky-Algebras

Radiation-induced alterations in multi-layered, in-vitro skin models detected by optical coherence tomography and histological methods

Animal experimental investigation on the efficacy of antibiotic therapy with linezolid, vancomycin, cotrimoxazole, and rifampin in treatment of periprosthetic knee joint infections by MRSA

Corrigendum to “Lack of Gαi2 proteins in adipocytes attenuates diet-induced obesity” [Mol Metab 40 (2020 Oct) 101029]

Lack of Gαi2 proteins in adipocytes attenuates diet-induced obesity

Suchergebnisse filtern