Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /

Ponencias presentadas en la vigésima quinta Conferencia Internacional Conjunta sobre Técnicas y Aplicaciones de Reescritura, y en la décima segunda Conferencia Internacional sobre Cálculos Lambda Mecanografiados y Aplicaciones, realizadas como parte del Verano de Viena de la Lógica, en Viena, Austri...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συλλογικό Έργο:	International Conference on Rewriting Techniques and Applications ( Viena, Austria), International Conference on Typed Lambda-Calculi and Applications, Vienna Summer of Logic
Άλλοι συγγραφείς:	Dowek, Gilles (edición) (edición)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Cham, Suiza : Springer, 2014, c2014
Σειρά:	(Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science) 8560.
Θέματα:	Lenguajes de Programación Lenguajes Formales Inteligencia Artificial Complejidad Computacional Sistemas de Reescritura (Informática) - > Tema Principal Autómatas Matemáticos - > Teoría Lógica Matemática - > Congresos - > Tema Principal Ingeniería Computacional
Διαθέσιμο Online:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!