M. B. Thuraisingham

From MaRDI portal
(Redirected from Person:1153897)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
System function languages
Mathematical Logic Quarterly
1995-02-05Paper
Representation of One-One Degrees byn-Cylindrical Decision Problems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1988-01-01Paper
Reducibility Relationships Between Decision Problems for System Functions
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1987-01-01Paper
The Concept of <i>n</i>‐Cylinder and its Application
Mathematical Logic Quarterly
1986-01-01Paper
SYSTEM FUNCTIONS AND THEIR DECISION PROBLEMS
Mathematical Logic Quarterly
1984-01-01Paper
Cylindrical decision problems for system functions
Notre Dame Journal of Formal Logic
1983-01-01Paper
The concept of n-cylinder and its relationship to simple sets
Notre Dame Journal of Formal Logic
1983-01-01Paper
Some elementary closure properties of n-cylinders
Notre Dame Journal of Formal Logic
1983-01-01Paper
Representation of one-one degrees by decision problems for system functions
Journal of Computer and System Sciences
1982-01-01Paper


Research outcomes over time


This page was built for person: M. B. Thuraisingham