Search Results - (((("a ugural a algorithm") OR ("_ syntax based algorithm"))) OR ("p general coding algorithms")) :: K.UTB vyhledávací portál

Preserving strong equivalence while forgetting

by Knorr, Matthias, Alferes, José Julio
Published in Logics in Artificial Intelligence (2014)

Get full text

Conference Proceeding Book Chapter

by Mtibaa, Abderrahmen, Harras, Khaled A.
Published in IEEE International Conference on Mobile Ad-hoc and Sensor Systems (01.10.2013)

Get full text

Conference Proceeding