( en | de | ru )

 

Disambiguation of "Seda, Anthony Karel"

Author of the publication

copydeleteadd this publication to your clipboard
VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.

, and . IWFM, BCS, (2001)

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. You can also use the button next to the name to display some publications already assigned to the person.

Seda Schünemann

Seda Cinar

Farbod Sedaghat-Hamedani

Charalambos Karela

Seda Ghazaryan

 

Other publications of authors with the same name

A Note on the Relationships Between Logic Programs and Neural Networks., and . IWFM, BCS, (2000)Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators.. IWINAC (1), volume 4527 of Lecture Notes in Computer Science, page 224-233. Springer, (2007)On the Integration of Connectionist and Logic-Based Systems.. MFCSIT, volume 161 of Electronic Notes in Theoretical Computer Science, page 109-130. Elsevier, (2004)Strictly Level-Decreasing Logic Programs., and . IWFM, BCS, (1998)Preface.. MFCSIT, volume 40 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2000)VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM., and . IWFM, BCS, (2001)Preface., , , , and . MFCSIT, volume 161 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)On the Coincidence of Semantics for Uniquely Determined Programs., and . MFCSIT, volume 40 of Electronic Notes in Theoretical Computer Science, page 189-205. Elsevier, (2000)Connectionist Representation of Multi-Valued Logic Programs., , and . Perspectives of Neural-Symbolic Integration, volume 77 of Studies in Computational Intelligence, Springer, (2007)Acceptable Programs Revisited., and . Verification of Logic Programs@ICLP, volume 30 of Electronic Notes in Theoretical Computer Science, page 59-76. Elsevier, (1999)