Logic, Computation, Hierarchies
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By DE GRUYTER

9781614518044

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC)

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.297 ◽

2014 ◽

Author(s):

Nikolay V. Shilov

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Temporal Logics

Download Full-text

The wadge hierarchy of Petri Nets ω-languages

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.109 ◽

2014 ◽

Author(s):

Jacques Duparc ◽

Olivier Finkel ◽

Jean-Pierre Ressayre

Keyword(s):

Wadge Hierarchy

Download Full-text

Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.213 ◽

2014 ◽

Author(s):

Luca Motto Ros ◽

Philipp Schlicht

Keyword(s):

Polish Spaces ◽

Uniformly Continuous

Download Full-text

Diophantine properties of brownian motion: recursive aspects

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.139 ◽

2014 ◽

Author(s):

Willem L. Fouché

Keyword(s):

Brownian Motion

Download Full-text

Frontmatter

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.fm ◽

2014 ◽

Download Full-text

Boolean algebras of regular quasi-aperiodic languages

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.191 ◽

2014 ◽

Author(s):

Anton Konovalov

Keyword(s):

Boolean Algebras

Download Full-text

INDEX

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.411 ◽

2014 ◽

Download Full-text

Levels of discontinuity, limit-computability, and jump operators

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.79 ◽

2014 ◽

Author(s):

Matthew de Brecht

Download Full-text

Preface

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.vii ◽

2014 ◽

Download Full-text

TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES

Logic, Computation, Hierarchies ◽

10.1515/9781614518044.383 ◽

2014 ◽

Author(s):

Ludwig Staiger

Keyword(s):

Hausdorff Measure

Download Full-text