Proceedings of the 7th and 8th Asian Logic Conferences
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS

9789812382610, 9789812705815

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PHASE-VALUED MODELS OF LINEAR SET THEORY

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0016 ◽

2003 ◽

Cited By ~ 1

Author(s):

MASARU SHIRAHATA

Keyword(s):

Set Theory ◽

Linear Set

Download Full-text

THE CURRY-HOWARD ISOMORPHISM ADAPTED FOR IMPERATIVE PROGRAM SYNTHESIS AND REASONING

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0015 ◽

2003 ◽

Cited By ~ 1

Author(s):

IMAN POERNOMO ◽

JOHN N. CROSSLEY

Keyword(s):

Program Synthesis

Download Full-text

A LAYERED APPROACH TO EXTRACTING PROGRAMS FROM PROOFS WITH AN APPLICATION IN GRAPH THEORY

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0008 ◽

2003 ◽

Cited By ~ 1

Author(s):

JOHN JEAVONS ◽

BOLIS BASIT ◽

IMAN POERNOMO ◽

JOHN N. CROSSLEY

Keyword(s):

Graph Theory ◽

Layered Approach

Download Full-text

COMPLEXITY CLASSES OVER THE REALS: A LOGICIAN’S VIEWPOINT

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0003 ◽

2003 ◽

Author(s):

FELIPE CUCKER

Keyword(s):

Complexity Classes

Download Full-text

SEQUENT SYSTEMS FOR CLASSICAL AND INTUITIONISTIC SUBSTRUCTURAL MODAL LOGICS

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0019 ◽

2003 ◽

Author(s):

OSAMU WATARI ◽

TAKESHI UENO ◽

KOJI NAKATOGAWA ◽

MAYUKA F. KAWAGUCHI ◽

MASAAKI MIYAKOSHI

Keyword(s):

Modal Logics ◽

Sequent Systems

Download Full-text

COMPUTATIONAL COMPLEXITY OF FRACTALS

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0011 ◽

2003 ◽

Cited By ~ 3

Author(s):

KER-I KO

Keyword(s):

Computational Complexity

Download Full-text

TRIVIAL REALS

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0005 ◽

2003 ◽

Cited By ~ 25

Author(s):

ROD G. DOWNEY ◽

DENIS R. HIRSCHFELDT ◽

ANDRÉ NIES ◽

FRANK STEPHAN

Download Full-text

COMPUTABILITY, DEFINABILITY AND ALGEBRAIC STRUCTURES

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0004 ◽

2003 ◽

Cited By ~ 4

Author(s):

ROD DOWNEY

Keyword(s):

Algebraic Structures

Download Full-text

DIAMOND EMBEDDINGS INTO THE D.C.E. DEGREES WITH 0 AND 1 PRESERVED

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0020 ◽

2003 ◽

Cited By ~ 1

Author(s):

GUOHUA WU

Download Full-text

AN APPLICATION OF NDJPROP TO THE CATCH AND THROW MECHANISM

Proceedings of the 7th and 8th Asian Logic Conferences ◽

10.1142/9789812705815_0014 ◽

2003 ◽

Author(s):

MASAHIRO NAKATA ◽

NORIMICHI SANETO ◽

MARIKO YASUGI

Download Full-text

Proceedings of the 7th and 8th Asian Logic ConferencesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS

PHASE-VALUED MODELS OF LINEAR SET THEORY

THE CURRY-HOWARD ISOMORPHISM ADAPTED FOR IMPERATIVE PROGRAM SYNTHESIS AND REASONING

A LAYERED APPROACH TO EXTRACTING PROGRAMS FROM PROOFS WITH AN APPLICATION IN GRAPH THEORY

COMPLEXITY CLASSES OVER THE REALS: A LOGICIAN’S VIEWPOINT

SEQUENT SYSTEMS FOR CLASSICAL AND INTUITIONISTIC SUBSTRUCTURAL MODAL LOGICS

COMPUTATIONAL COMPLEXITY OF FRACTALS

TRIVIAL REALS

COMPUTABILITY, DEFINABILITY AND ALGEBRAIC STRUCTURES

DIAMOND EMBEDDINGS INTO THE D.C.E. DEGREES WITH 0 AND 1 PRESERVED

AN APPLICATION OF NDJPROP TO THE CATCH AND THROW MECHANISM

Proceedings of the 7th and 8th Asian Logic Conferences
Latest Publications