( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.

. FCT, том 117 из Lecture Notes in Computer Science, стр. 341-349. Springer, (1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Detlef Seese

Anita Seese

Alfred Seese

Bernd Seese

Gertrud Seeser

 

Другие публикации лиц с тем же именем

Executable product models - The intelligent way., и . SMC, стр. 1987-1992. IEEE, (2007)The Structure of Models of Decidable Monadic Theories of Graphs.. Ann. Pure Appl. Log., 53 (2): 169-195 (1991)Risk-Return Analysis with an Integrated Perspective on Market, Credit and Operational Risk, , и . 10th Symposium on Finance, Banking, and Insurance, Book of Abstracts p. 52, (декабря 2005)Universität Karlsruhe (TH).An Algebraic Theory of Graph Reduction., , , и . Graph-Grammars and Their Application to Computer Science, том 532 из Lecture Notes in Computer Science, стр. 70-83. Springer, (1990)A Conceptual Framework for the Governance of Service-Oriented Architectures., и . ICSOC Workshops, том 5472 из Lecture Notes in Computer Science, стр. 327-338. Springer, (2008)Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability., и . SYNASC, стр. 564-571. IEEE Computer Society, (2008)Visualization and Clustering of Business Process Collections Based on Process Metric Values., и . SYNASC, стр. 572-575. IEEE Computer Society, (2008)A Heuristic Approach towards an Integrated View on Portfolio Return, Market Risk, Credit Risk and Operational Risk, , и . 3rd World Conference on Computational Statistics & Data Analysis, Book of Abstracts p. 47, (октября 2005)Limassol, Zypern.A Multi-objective Model Framework for the Integrated Management of Financial Risks, , и . Quantitative Methods in Finance Conference, Book of Abstracts p. 90, (декабря 2005)Sydney, Australien.A combinatorial and logical approach to linear-time computability., и . EUROCAL, том 378 из Lecture Notes in Computer Science, стр. 379-380. Springer, (1987)