المؤلفون: Ralph Kopperman and Michael B. Smyth and Dieter Spreen, Kopperman, Ralph, Smyth, Michael B., Spreen, Dieter

مصطلحات الفهرس: Data processing Computer science, InProceedings, publishedVersion

المؤلفون: Nils Anders Danielsson, Michael B. Smyth

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.chalmers.se/~nad/publications/danielsson-smyth-mfcsit2002.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.4355; http://www.cs.chalmers.se/~nad/publications/danielsson-smyth-mfcsit2002.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.4355
http://www.cs.chalmers.se/~nad/publications/danielsson-smyth-mfcsit2002.pdf

المؤلفون: Michael B. Smyth, Rueiher Tsaur

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~rt2/SmythTsaur02.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.5650; http://www.doc.ic.ac.uk/~rt2/SmythTsaur02.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.5650
http://www.doc.ic.ac.uk/~rt2/SmythTsaur02.pdf

المؤلفون: Abbas Edalat, Michael B. Smyth

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~ae/papers/icat.ps.Z.

مصطلحات موضوعية: category of information systems. As in the theory of partial orders

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4893; http://www.doc.ic.ac.uk/~ae/papers/icat.ps.Z

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4893
http://www.doc.ic.ac.uk/~ae/papers/icat.ps.Z

المؤلفون: Abbas Edalat, Michael B. Smyth

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~ae/papers/infcat.ps.gz.

مصطلحات موضوعية: In [Sco82, Dana Scott introduced a certain category of \information systems, as a convenient means of presenting a well-known class of

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7400; http://www.doc.ic.ac.uk/~ae/papers/infcat.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7400
http://www.doc.ic.ac.uk/~ae/papers/infcat.ps.gz

المؤلفون: Michael B. Smyth, Rueiher Tsaur

المصدر: Electronic Notes in Theoretical Computer Science. 161:151-163

مصطلحات موضوعية: Discrete mathematics, Graph convexity, General Computer Science, Neighbourhood (graph theory), Selection property, Computer Science::Computational Geometry, Fixed point, Fixed-point property, Graph, Convexity, Theoretical Computer Science, Almost fixed point property, Combinatorics, Multifunctions, Helly's theorem, Fixed clique property, Mathematics::Metric Geometry, Helly graphs, Computer Science(all), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1da2ce220f979416e35f6b122c58f62
https://doi.org/10.1016/j.entcs.2006.04.030

المؤلفون: Michael B. Smyth

المصدر: Annals of Pure and Applied Logic. 137:360-379

مصطلحات موضوعية: Discrete mathematics, Quantitative domain theory, Logic, Lawson condition, Space (mathematics), Constructive, Algebra, R-structure, Domain theory, Point (geometry), Constructive analysis, Partial metrizability, Maximal point space, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b3f591cd3dda5cc15895a8673a1f6ec
https://doi.org/10.1016/j.apal.2005.05.032

المؤلفون: Michael B. Smyth

المصدر: Electronic Notes in Theoretical Computer Science. 74:172-188

مصطلحات موضوعية: Algebra, Discrete mathematics, Mathematics::Logic, General Computer Science, Computer Science::Programming Languages, Domain theory, Point (geometry), Space (mathematics), Constructive, Computer Science::Databases, Computer Science(all), Theoretical Computer Science, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::24973886c63aefbb1f4312b3763b3e00
https://doi.org/10.1016/s1571-0661(04)80773-4

المؤلفون: Michael B. Smyth, Rueiher Tsaur

المصدر: Applied Categorical Structures. 11:95-116

مصطلحات موضوعية: Discrete mathematics, Algebra and Number Theory, General Computer Science, Fixed-point theorem, Fixed point, Fixed-point property, Theoretical Computer Science, Combinatorics, Least fixed point, Schauder fixed point theorem, Lefschetz fixed-point theorem, Brouwer fixed-point theorem, Kakutani fixed-point theorem, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3fcdb005f1dfca445160b1ea4788c34c
https://doi.org/10.1023/a:1023017025800

المؤلفون: Michael B. Smyth, Abbas Edalat

المصدر: Theoretical Computer Science. 115:77-106

مصطلحات موضوعية: Initial algebra, Class (set theory), Pure mathematics, Functor, General Computer Science, Functor category, Theoretical Computer Science, Algebra, Morphism, Mathematics::Category Theory, Scott domain, Category of sets, Category theory, Computer Science(all), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64f9d7766f9d4228773a331c0814fa7a
https://doi.org/10.1016/0304-3975(93)90056-y

المؤلفون: Abbas Edalat, Michael B. Smyth

المصدر: Applied Categorical Structures. 1:197-232

مصطلحات موضوعية: Algebra and Number Theory, General Computer Science, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ad924fc450ff110a983fdedb448b1557
https://doi.org/10.1007/bf00880044

المؤلفون: Michael B. Smyth, Julian Webster

المصدر: Handbook of Spatial Logics ISBN: 9781402055867
Handbook of Spatial Logics

مصطلحات موضوعية: Discrete mathematics, symbols.namesake, Cayley graph, Computer science, symbols, Spatial analysis, Boolean algebra

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b7befdedf7aa5af44914b938dc4f2db
https://doi.org/10.1007/978-1-4020-5587-4_12

المؤلفون: Michael B. Smyth

المصدر: Automata, Languages and Programming ISBN: 3540123172
ICALP

مصطلحات موضوعية: Generality, Theoretical computer science, Complete lattice, law, Computer science, Transformer, Topology, Dijkstra's algorithm, Power domains, law.invention

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::556846b36dbd5588fd08789e7b648138
https://doi.org/10.1007/bfb0036946

المؤلفون: Michael B. Smyth, Abbas Edalat

المصدر: Category Theory and Computer Science ISBN: 354054495X
Category Theory and Computer Science

مصطلحات موضوعية: Algebra, Initial algebra, Class (set theory), Morphism, Generalization, Mathematics::Category Theory, Information system, Order (group theory), Axiom, Domain (mathematical analysis), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::eb0669797ffb6f836ffa6116e8b65230
https://doi.org/10.1007/bfb0013456

المؤلفون: Michael B. Smyth, Rueiher Tsaur

المصدر: Digital and Image Geometry ISBN: 9783540430797
Digital and Image Geometry

مصطلحات موضوعية: Discrete mathematics, Hausdorff distance, Discrete space, Hausdorff dimension, Fixed-point theorem, Kakutani fixed-point theorem, Fixed-point property, Contractible space, Convexity, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::79ca295da009e7c68738e7651fca5e40
https://doi.org/10.1007/3-540-45576-0_5

المؤلفون: Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster

المصدر: Theoretical Computer Science. 365(3):169-170

مصطلحات موضوعية: General Computer Science, Theoretical Computer Science, Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6bdeed979dc7362fb28b05a283284a4

المؤلفون: Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen, Kopperman, Ralph, Panangaden, Prakash, Smyth, Michael B., Spreen, Dieter

مصطلحات الفهرس: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\-topology, partial metrics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1
Is Part Of Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)

المؤلفون: Michael B. Smyth, Julian Webster

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~mbs/papers/ST-chapter.pdf.

مصطلحات موضوعية: Tolerance space, Čech closure, dimension, region geometry, connection theory, quantum structures, orthomodular lattices, matroid, spherical oriented matroid, Coxeter matroid

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7854; http://www.doc.ic.ac.uk/~mbs/papers/ST-chapter.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7854
http://www.doc.ic.ac.uk/~mbs/papers/ST-chapter.pdf

المؤلفون: Michael B. Smyth, Rueiher Tsaur

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~rt2/SmythTsaur03.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.2674; http://www.doc.ic.ac.uk/~rt2/SmythTsaur03.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.2674
http://www.doc.ic.ac.uk/~rt2/SmythTsaur03.pdf

المؤلفون: Michael B. Smyth, Dieter Spreen, Julian Webster, M. B. Smyth, D. Spreen, J. Webster

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://drops.dagstuhl.de/opus/volltexte/2005/174/pdf/04351-abstracts-collection.174.pdf.

مصطلحات موضوعية: Domain theory, formal topology, constructive topology, domain rep- resentation, space-time, quantum gravity, inverse limit construction, matroid, geometry, descriptive set theory, Borel hierarchy, Hausdorff difference hierar

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.7487; http://drops.dagstuhl.de/opus/volltexte/2005/174/pdf/04351-abstracts-collection.174.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.7487
http://drops.dagstuhl.de/opus/volltexte/2005/174/pdf/04351-abstracts-collection.174.pdf