Results 181 to 190 of about 100,437 (202)

Hao Wang. Ordinal numbers and predicative set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 216–239. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 624–651.

Journal of Symbolic Logic, 1965
openaire   +2 more sources

Descriptions in mathematical logic

, 1984
Gerard R. Renardel, Lavalette
semanticscholar   +1 more source

Diller J.. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966 , edited by Schmidt H. Arnold, Schutte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publ

Journal of Symbolic Logic (JSL), 1975
W. A. Howard
semanticscholar   +1 more source

Influence of assembly predicate consideration on optimal assembly sequence generation

Assembly Automation, 2015
M V A Raju Bahubalendruni
exaly  

Efficient privacy preserving predicate encryption with fine-grained searchable capability for Cloud storage

Computers and Electrical Engineering, 2016
Xu An Wang, Fatos Xhafa
exaly  

An Analysis on Meanings of Events in Predicate-Complement Structure In Modern Chinese

Korea Journal of Chinese Linguistics, 2021
exaly  

An Efficient Predicate Encryption with Constant Pairing Computations and Minimum Costs

IEEE Transactions on Computers, 2016
Jong Hwan Park, Seong Oun Hwang
exaly