Suchergebnisse - "distributed concurrent linear logic programming"

  • Treffer 1 - 13 von 13
Treffer weiter einschränken
  1. 1

    Distributed concurrent linear logic programming

    Autoren: N. Kobayashi T. Shimizu A. Yonezawa

    Quelle: Theoretical Computer Science. 227:185-220

    Schlagwörter: Concurrency, Theory of programming languages, Distributed computation, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, Linear logic programming, distributed concurrent linear logic programming, Logic programming, Theoretical Computer Science, Computer Science(all)

    Dateibeschreibung: application/xml

    Zugangs-URL: https://dblp.uni-trier.de/db/journals/tcs/tcs227.html#KobayashiSY99
    https://www.sciencedirect.com/science/article/pii/S0304397599000523

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Distributed Concurrent Linear Logic Programming.

    Autoren: Kobayashi, Naoki

    Index Begriffe: Journal Article., NA.

    URL: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Distributed Concurrent Linear Logic Programming

    Quelle: Distributed Concurrent Linear Logic Programming. 227(2):185-220

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Distributed Concurrent Linear Logic Programming

    Autoren: N. Kobayashi T. Shimizu A. Yonezawa

    Relation: oai:t2r2.star.titech.ac.jp:00053673

    Verfügbarkeit: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Distributed Concurrent Linear Logic Programming

    Autoren: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa et al.

    Weitere Verfasser: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa et al.

    Quelle: http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz.

    Schlagwörter: Programming

    Dateibeschreibung: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845
    http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    A spatial modal logic with a location interpretation.

    Autoren: Kamide, Norihiro

    Quelle: Mathematical Logic Quarterly; Jul2005, Vol. 51 Issue 4, p331-341, 11p

    Schlagwörter: MATHEMATICAL analysis, INFORMATION theory, NUMERICAL analysis, MATHEMATICAL models, MATHEMATICS, MATHEMATICAL functions

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Combining Soft Linear Logic and Spatio-temporal Operators.

    Autoren: KAMIDE, NORIHIRO

    Quelle: Journal of Logic & Computation; Oct2004, Vol. 14 Issue 5, p625-650, 26p, 2 Diagrams

    Schlagwörter: LOGIC, SEMANTICS, CALCULUS, PETRI nets, NETS (Mathematics)

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    FrontMatter.

    Quelle: Concurrent Objects & Beyond; 2014, p1-1, 1p

    Zu den Favoriten
  9. 9

    Concurrent Objects and Beyond

    Autoren: Gul Agha Atsushi Igarashi Naoki Kobayashi et al.

    Resource Type: eBook.

    Schlagworte: Software engineering, Artificial intelligence, Compilers (Computer programs), Operating systems (Computers), Computer programming

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General

    Zu den Favoriten
  10. 10

    Logic, Epistemology, and the Unity of Science

    Autoren: Shahid Rahman John Symons Dov M. Gabbay et al.

    Resource Type: eBook.

    Schlagworte: Logic, Knowledge, Theory of, Science—Philosophy, Philosophy, Biology—Philosophy, Developmental biology

    Categories: PHILOSOPHY / Logic, PHILOSOPHY / General, PHILOSOPHY / Epistemology, SCIENCE / Life Sciences / Developmental Biology, SCIENCE / Philosophy & Social Aspects

    Zu den Favoriten
  11. 11

    MICAI 2000: Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings

    Autoren: Osvaldo Cairo Enrique L. Sucar Francisco J. Cantu

    Resource Type: eBook.

    Schlagworte: Artificial intelligence--Congresses

    Categories: COMPUTERS / Artificial Intelligence / General

    Zu den Favoriten
  12. 12

    Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

    Autoren: David Schmidt

    Resource Type: eBook.

    Schlagworte: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, COMPUTERS / Languages / General

    Zu den Favoriten
  13. 13

    Formal Methods for Open Object-Based Distributed Systems

    Autoren: Paolo Ciancarini Alessandro Fantechi Roberto Gorrieri

    Resource Type: eBook.

    Schlagworte: Computer systems, Microprocessors, Computer architecture, Artificial intelligence, Data structures (Computer science), Information theory, Compilers (Computer programs)

    Categories: COMPUTERS / Computer Architecture, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General

    Zu den Favoriten

Suchwerkzeuge: