Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/pid/72/4558

https://dblp.org/rdf/schema#authorOf	https://dblp.org/rec/journals/jsyml/NadelS90 + , https://dblp.org/rec/journals/apal/MagidorSS84 + , https://dblp.org/rec/journals/tcs/AptPS84 + , https://dblp.org/rec/journals/jcss/HarelPS83 + , https://dblp.org/rec/journals/jsyml/MagidorSS83 + , https://dblp.org/rec/conf/focs/HarelPS81 + , https://dblp.org/rec/conf/icalp/LehmannPS81 + , https://dblp.org/rec/conf/lop/HarelPS81 + , https://dblp.org/rec/journals/jsyml/ManevitzS80 + , https://dblp.org/rec/conf/popl/GabbayPSS80 + , https://dblp.org/rec/journals/jsyml/NadelS77 + , https://dblp.org/rec/conf/stoc/HarelPS77 + , https://dblp.org/rec/phd/il/Stavi73 + , https://dblp.org/rec/journals/jsyml/Stavi73 +
https://dblp.org/rdf/schema#coCreatorWith	https://dblp.org/pid/a/KRApt + , https://dblp.org/pid/g/DovMGabbay + , https://dblp.org/pid/h/DavidHarel + , https://dblp.org/pid/67/7032 + , https://dblp.org/pid/98/146 + , https://dblp.org/pid/95/3098 + , https://dblp.org/pid/81/3185 + , https://dblp.org/pid/p/AmirPnueli + , https://dblp.org/pid/s/SaharonShelah +
https://dblp.org/rdf/schema#creatorName	Jonathan Stavi
https://dblp.org/rdf/schema#primaryCreatorName	Jonathan Stavi
rdf:type	https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label	Jonathan Stavi

	This page has no properties.

Navigation menu