( en | de | ru )

 

Disambiguierung von "Min, Richard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Infinite Computation, Co-induction and Computational Logic.

, , , , , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 40-54. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Min Tian

Min Zhang

Min Tao

Min Sha

Min Shui

 

Weitere Publikationen von Autoren mit dem selben Namen

Infinite Computation, Co-induction and Computational Logic., , , , , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 40-54. Springer, (2011)Coinductive Logic Programming with Negation., und . LOPSTR, Volume 6037 von Lecture Notes in Computer Science, Seite 97-112. Springer, (2009)Goal-directed execution of answer set programs., , , und . PPDP, Seite 35-44. ACM, (2012)Towards Predicate Answer Set Programming via Coinductive Logic Programming., , und . AIAI, Volume 296 von IFIP Advances in Information and Communication Technology, Seite 499-508. Springer, (2009)Coinductive Logic Programming and its Application to Boolean SAT., und . FLAIRS, AAAI Press, (2009)Coinductive Logic Programming and Its Applications., , , , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 27-44. Springer, (2007)Analysis of Firewall Policy Rules Using Data Mining Techniques., , , und . NOMS, Seite 305-315. IEEE, (2006)Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable., , und . OSDI, Seite 279-292. USENIX Association, (2006)Adaptive stochastic control of linear systems with random parameters.. Massachusetts Institute of Technology, Cambridge, MA, USA, (1979)ndltd.org (oai:dspace.mit.edu:1721.1/16018).Validation tools for complex digital designs.. Stanford University, USA, (1996)