Parchments for CafeOBJ logics

Till Mossakowski , Wiesław Pawłowski , Donald Sannella , Andrzej Tarlecki

Abstract

n/a
Author Till Mossakowski
Till Mossakowski,,
-
, Wiesław Pawłowski II
Wiesław Pawłowski,,
- Institute of Informatics
, Donald Sannella
Donald Sannella,,
-
, Andrzej Tarlecki
Andrzej Tarlecki,,
-
Pages66-91
Publication size in sheets1.9
Book Iida Shusaku, Meseguer José, Ogata Kazuhiro (eds.): Specification, algebra, and software : essays dedicated to Kokichi Futatsugi, Lecture Notes In Computer Science, no. 8373, 2014, Springer-Verlag, ISBN 978-3-642-54623-5
DOIDOI:10.1007/978-3-642-54624-2_4
Languageen angielski
Score (nominal)5
ScoreMinisterial score = 5.0, 21-12-2017, BookChapterNotSeriesMainLanguages
Citation count*0
Cite
Share Share

Get link to the record
msginfo.png


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back