Publications

Results 1-17 of 17 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
11995Xgamma---Lisp implementation of Gamma-programming styleMašulović Dragan 
22002Towards weak bisimulation for coalgebrasRothe J.; Mašulović Dragan 
32002Towards coalgebraic behaviourismMašulović Dragan 
41995A software support to exploration of multialgebras and algebras of complexes with small cardinalitiesMašulović Dragan ; Vaš L.
51995On the Integration of Logic and Functional Programming ParadigmMašulović Dragan 
61998On retracts and inflations of universal algebrasMadarász Rozália ; Mašulović Dragan ; Tasić Boža
71992Modula-2C--An Object-Oriented Extension of Modula-2Mašulović Dragan 
82003Modal Logics for Observation EquivalencesRothe Jan; Mašulović, Dragan 
91995Linda SK Reduction MachineMašulović Dragan 
101999Lifted transformation monoids and their characterization by relations and co-relationsMašulović Dragan ; Poeschel R.
112001Invariants of monadic coalgebrasMašulović Dragan 
121988HYPERCUBE 2DMijanović S.; Mašulović Dragan 
132010Homomorphism-homogeneous lattices and semilatticesDolinka Igor ; Mašulović Dragan 
141996Cross-Platform Library for Modula-2Šendula D.; Mašulović Dragan ; Budimac Zoran 
151995C ili Modula-2?Mašulović Dragan ; Budimac Zoran 
161997An algorithmic approach to the infimum of a graphMašulović Dragan 
172000Algebras of co-relations on a finite setMašulović Dragan ; Roessiger M.