Add to ORKGAn elementary formal system ( $EFS $ , for short) [8] is suitable to generate various for-mal languages [3]. The EFS has been investigated from the various viewpoints $[4, 11] $. In particular, from the viewpoints of translations on formal languages, Sugimoto and Ishizaka $[9, 10] $ have pointed out that the translation as the relationship between tw
Abstract: The objective of this paper is to present a crisp and critical survey of the development o...
In this paper we present a methodology of translation from a given source language to a given target...
This report describes the Environment for Formal Systems, EFS, that allows a user to interactively ...
The elementary formal system(EFS, for short) is a kind of logic programs over the domain of strings....
In this paper we present a methodology of translation from a given source language to a given target...
Algorithm on Computer M i KOPRIVA In section 3, an algorithm performing so called generalized good t...
One of the methods for defining translations is the so called syntax-directed translation scheme whi...
Proc. Logic Programming Conference 1989, 123-132In this paper, we give a theoretical foundation of E...
An EFS is a kind of a grammar and generates a language. During an Em\u27s with the subword property ...
AbstractThe elementary formal systems (EFS for short) Smullyan invented to develop his recursive fun...
Proc. COLT\u2789, 312-327; Theoretical Computer Science 95, 97-113, 1992This paper presents a unifyi...
We examine the problem of finding fully abstract translations between programming languages, i.e., t...
We examine the problem of finding fully abstract translations between programming languages, i.e., t...
The paper describes a new approach to machine translation, based on Montague grammar, and an experim...
A formalism is a set of notation with well-defined semantics (namely for the interpretation of the s...
Abstract: The objective of this paper is to present a crisp and critical survey of the development o...
In this paper we present a methodology of translation from a given source language to a given target...
This report describes the Environment for Formal Systems, EFS, that allows a user to interactively ...
The elementary formal system(EFS, for short) is a kind of logic programs over the domain of strings....
In this paper we present a methodology of translation from a given source language to a given target...
Algorithm on Computer M i KOPRIVA In section 3, an algorithm performing so called generalized good t...
One of the methods for defining translations is the so called syntax-directed translation scheme whi...
Proc. Logic Programming Conference 1989, 123-132In this paper, we give a theoretical foundation of E...
An EFS is a kind of a grammar and generates a language. During an Em\u27s with the subword property ...
AbstractThe elementary formal systems (EFS for short) Smullyan invented to develop his recursive fun...
Proc. COLT\u2789, 312-327; Theoretical Computer Science 95, 97-113, 1992This paper presents a unifyi...
We examine the problem of finding fully abstract translations between programming languages, i.e., t...
We examine the problem of finding fully abstract translations between programming languages, i.e., t...
The paper describes a new approach to machine translation, based on Montague grammar, and an experim...
A formalism is a set of notation with well-defined semantics (namely for the interpretation of the s...
Abstract: The objective of this paper is to present a crisp and critical survey of the development o...
In this paper we present a methodology of translation from a given source language to a given target...
This report describes the Environment for Formal Systems, EFS, that allows a user to interactively ...