Semantics for interactive higher-order functional-logic programming

A study on logic programming language based on first-order formulae

Studies on disjunctive logic programming

Proof system of higher-order clausal logic and its parallel implementation

Studies on logic programming language for constraint-based natural language analysis

A programming environment for reactive and concurrent systems using Petri nets and temporal logic

Database state manipulation in lazy functional programming languages

Layerwise higher-order finite elements for laminated composite material structures

Termination of higher-order rewrite systems

Functional Chart for Military Government Units

Parallel Computer Architectures for the SPMD Programming Model

Request for Travel Order

Studies on facilities for persistent programming languages and their implementations

Genetic engineering studies on the structure and functional expression of cytochrome P450 monooxygenases in a higher plant

No. 886: Order for the issuance of summonses for witnesses for the Defense

Construction of Rational Screening System for Selection of Functional RNA and Protein

Development of New Aluminum Catalysis for Selective Transformation of Oxygen-Containing Functional Groups

Request for Travel Order - on and before 30 June, 1951

No. 953: ORDER for the issuance of a subpoena for witness requested by accused KIMURA

No. 739: Order for issuance of summons for witnesses on behalf of accused TOJO, Hideki

No. 722: Request of KIMURA, HEITARO, for an order for the production of a witness

On a reduction-procedure for full first order classical natural deduction

No. 730: Application on behalf of ITAGAKI, SEISHIRO, for an order for the production of witness

No. 731: Application on behalf of HASHIMOTO, KINGORO, for an order for the production of witness

No. 596: Order for issuance of summons for witnesses on behalf of accused SATO, and for the production of documents