Termination, AC-Termination and dependency pairs of term rewriting systems
Proof system of higher-order clausal logic and its parallel implementation
Semantics for interactive higher-order functional-logic programming
Layerwise higher-order finite elements for laminated composite material structures
Cooperating systems of automata
401: Systems of Supply & Distribution
Order of the Day
Order of the Day
Order of the Day
Order of the Day
Depurge of Former Special Higher Police Personnel
Inspection of Osaka Team by Higher H.Q.S
Control of distributed parameter systems and nonlinear systems in aerospace engineering
Robust H[∞] control of nonlinear systems and its application to mechanical systems
Logicality of conditional term rewrite systems
Quantum nature of polygonal billiard systems
Study of transcriptional regulation of rRNA genes in higher plants
Violation of Organizations Control Order
USSR 0100: Order of Battle
Indonesia 0100: Order of Battle
USSR 0100: Order of Battle
Order of the Golden Pheasant
Japan 0100: Order of Battle
Shō (Ch. mus. inst.) - musician of higher rank
Last Updated:
Uploaded: 2020-12-17