AA AAP AAS ACB ACC ACH ACI ACO ACP ADE ADN ADT AFD AFL AFM AFO AFR AIS ALR AMM APC APL APO AQV ARB ARP ARR ASA ASD ASE ASI ASM ATA ATC ATL ATMS AVS Abductive Aceto Achim Adjunctions Agostino Agust Aidong Ajdukiewicz Akdag Alain Alessi Alexandre Alexandru Alferes Alon AltaRica Ambainis Amihood Amin Amir Amram Analyse Analyti Anastasia Anca Andr Andreas Andris Andrzej Anil Annegret Annika Antichains Antonino Anwar Ari Ariel Ariola Armando Arto Artur Asperti Astesiano Astrid Attardi Automata Axiomatization Axiomatizations B BAW BCC BCS BDI BMR BOM BPC BRN BSC Baar Baaz Baeten Bagai Baier Bakel Bakker Balanescu Balbiani Ballarin Bandyopadhyay Banerjee Baral Baratella Bartosiewicz Barua Basarab Basu Baum Beata Behaviour Behera Belaid Bello Benhamou Benthem Berard Bergstra Bernd Berndt Berre Berstel Bertoli Bertossi Besnard Bethke Bezem Bhandari Bhat Bhatnagar Bi Biela Binderup Bisimulation Biswas Blauth Blikle Boasson Bochman Bockmayr Boddy Bogdan Bogdanovi Bogdanovic Bohm Boldi Bonacina Bondarenko Bono Bordihn Boryczka Boutilier Bozapalidis Brauner Breazu Bregolin Brewka Brigitte Bro Broy Bryniarski Bsa Bucciarelli Bugliesi Bujosa Buning Burago Burkhard Busi Busse Buszkowski Buva Buvac C CAF CAI CCA CCD CCE CCM CCP CCS CCW CDF CDI CDM CDS CEA CEC CEM CEP CES CET CFS CGM CGP CGR CHS CHU CIL CIM CIS CLS CODEN COSY CPE CPL CPM CPN CPW CR CRA CRC CRN CRS CS CSA CSB CSC CSF CSM CSN CSP CSS CST CSU CTF CTL CTP CTR CTSa CTSb CWP Cadoli Calbrix Calmet Calude Cao Carlos Castilho Categorisation Cazanescu Cecylia Cederbaum Cerioli Cerro Ch Chakraborty Chaoping Chikalov Chitil Chitta Chlebus Cho Cholak Christel Christelle Christoph Christophe Chu Ciancaglini Cieplinski Clausal Clemens Co Coinductive Colin Combinational Combinators Comonads Comparitive Completenesess Concatenable Conservativity Constantopoulos Coordinatizing Corradini Corrado Cosimo Costa Costas Criado Cristian Cunsheng Curien Czaja D D'Ortenzio DA DAS DBA DBS DCA DCC DCD DCO DCR DCV DD DDR DEB DF DFG DFW DGP DIC DKBS DLB DLT DNI DOB DOI DPC DPE DPH DPW DRD DS DSA DSL DSP DSU DTN DTOL DTP DTT DWC Da Danko Darondeau Dassow Dataflow Daubechies De DeJong DeLaHiguera Deaton Defeasible Definability Degano Dembi Dembinski Deneva Deontic Derencourt Detlef Devillers Dezani Di DiGesu Didier Diekert Dietmar Diks Dima Dimiter Dimov Dinabandhu Dirk Dissemilattices Distinguishability Dix Dmitri Doherty Domenicantonio Domenico Dongming Doron Dovier Drewes Driss Druzdzel Duadic Dubois Dudakov Duntsch Dyck E EAE ECI ECM ECW EDS EEA EEE EGR EMV EOC EP EPC EPD EPR ERN ESL ESM ESS ETG ETOL Eberbach Edelsbrunner Efim Egidi Egidio Egly Ehrenfeucht Ehrig Eiben Eija Eike Eiter Ejdys Ekkart Eliyahu Emanuela Emden Engelfriet Enumerability Epistemic Eppstein Equational Erkki Esparza Esquivel Estelle Etherington Eugenio Ewa Expressibility F FAM FAO FAS FAX FCI FCR FI FIE FLP FMC FP FPE FPN FPO FPS FRR FRT FSA FUMAAJ FUP FV FVD Fabio Fachini Fari Farwer Fausto Felea Feng Fernau Ferrari Ferucio Fevre Findler Fixpoint Flavio Fogel Fokkink Foo Formalising Formulae Fractal Francesc Francesca Franceschetti Franciszek Frandsen Freivalds Frias Fu Fukuda Fulop Fundamenta Fung Furio G GCC GCO GCS GCT GDC GEN GEP GFW GGN GID GLF GMA GME GP GRT GSP GTT Gaasterland Gabarr Gabarro Gabriele Gallardt Gamatie Garzon Gasarch Gasquet Gastin Gawiejnowicz Gecseg Gediga Gelfond Generalisation Generalised Genomes Georg Georgi Ges Gh Gheorghe Giammarresi Gian Gianfranco Giannini Gilleron Gioia Gionata Giordana Girish Gisela Giunchiglia Glas Gogolla Goltz Gomoli Gomolinska Goossens Gorbachev Gorrieri Gottlob Gramatovici Gramlich Grazyna Griffault Grigori Grigoriev Grzegorz Grzyma Grzymala Gudmund Guiseppe Guo Gy H HCF HMF HPC HPE HSD HSL Habel Haeberer Haekwan Hage Halava Halina Hantao Hardi Harju Hartog Hausdorff Heckel Heckmann Heike Heiko Heinemann Heljanko Helzerman Hendrik Heng Henglein Hennessy Henning Henocque Henryk Herbrand Hernandez Hertling Herzig Hesketh Hideo Higuera Hilbrich Hilken Hindley Hirani Hiroshi Hirshfeld Hoa Hoek Hofmann Holbrook Holzer Homann Honkala Honsell Hoodgeboom Hoogeboom Horne Horty Hotz Hromkovi Hromkovic Hsiang Hua Hugues Hui Hune Hungar Huynh Huzar Hypothesization IBI IDV IIC IIP ILC ILF IML IPT ISI ISMIS ISSN Iain Ibrahim Icking Igor Ilie Ilkka Imam Implicational Imreh Infinitary Informaticae Inge Injectivity Intensional Internet Intrigila Intuitionistic Inverardi Ivo Izumi J JPN Jakub Janicki Jankowski Janssens Janusz Jarkko Jaromczyk Jaros Jaroslaw Jarvinen Jategaonkar Jaume Javier Jer Jerzy Ji Jianhua Jieh Joachim Johan Jong Joost Jordi Jos Joshi Joskowicz Jouni Jue Juha Juhani Jukka Jung Junttila Juraj Jurriaan Jurvanen K KRF KRM KTV Kachniarz Kai Kaile Kaminski Kanazawa Kandel Kandulski Kappes Karayiannis Karel Karhum Karhumaki Kari Karpinski Kasangian Katzberg Kaufmann Kautz Kazimir Kees Keesmaat Kegelmann Keiji Keijo Kersten Khaled Khalil Khamsi Khouja Kiehn Kinber Kindler Kleene Kleijn Kleine Klop Knapik Knijnenburg Ko Kogel Koletsos Kolpakov Komorowski Konikowska Konolige Korczy Korczynsky Koshiba Koskinen Kostas Koutny Koutras Kowalski Kr Kraus Kreitz Kreowski Kripke Krischer Krister Kroger Krynicki Kryszkiewicz Krzysztof Kubota Kudlek Kuich Kummer Kundu Kunen Kutty Kwok L LAA LBD LBG LBN LBP LCB LCC LCP LDS LERS LFR LIS LLC LLV LNC LOK LP LPE LPG LPP LQT LaTorre Labelled Labelling Lakemeyer Lalita Lambek Lamport Laneve Lange Larissa Lassez Latteux Lauer Lavinia Lavrov Le Lech Leischner Leitsch Leiva Leivant Lemmata Leonarda Leopoldo Leszek Levene Li Liau Lidia Liguoro Lihong Lindenmayer Linder Lindstr Linna Lipponen Liquori Liu Llabr Llabres Logics Loizou Longo Loogen Lotos Louchka Lu Luca Ludwik Luigi M MAM MBC MC MCA MCC MCL MDL MFS MHT MIL MLH MLL MLP MLR MLS MLT MMA MMK MMT MNC MNL MNM MOR MPS MQD MRP MRT MRclass MRnumber MRreviewer MSN MST MTP MVL MVM MWL Maciej Madhura Madlener Maggiolo Magott Mahendran Maida Majorinc Majster Makinen Mallat Mantaci Marcelo Marcos Marek Margherita Marian Mariangiola Mariusz Marjo Markus Marongiu Marta Martinek Martti Marzena Massimo Mateescu Mathieu Matroid Matskin Matteucci Matthias Matti Matwin Maura Mauro Mauw McCloskey Medina Melliar Menahem Menezes Mens Merc Merja Merz Meta Metalogical Mich Michalewicz Michalski Michele Middelburg Mihhail Mihir Mikanik Mikhail Miklos Mila Miltersen Ming Minh Minker Mirkowska Miros Miroslav Miroslaw Misane Mislove Mitra Mitrana Modelling Mogens Moggi Mohamed Mohnen Mohua Mon Monfroy Moniz Montanari Monti Morphism Morphisms Mosbah Moser Moshier Moshkov Moutaz Mrozek Multi Multiresolution Multisets Murthy Muscholl N NAA NCI NCN NDF NDP NER NGI NIK NIR NMC NPK NSA NSP NTP NVR Nagrath Naoyuki Naphtali Napoli Narendran Nerode Ngoc Nicola Nicolaos Nicolas Niemel Niemela Niemi Ning Nirkhe Noetherian Noga Noll Noncircular Nondeterministic Nondivisibility Nonmonotonic Nonsequential Novotn Novotny O O'Hearn ODL ODS OHO OPC OPD ORS OST Odlyzko Oja Oles Olivier Ordman Orlowska Ortenzio Ostravsk Ostravsky P PAE PCD PCE PCF PCG PCN PCP PCT PDD PED PES PF PFP PGG PHO PIQ PLC PME PNC POR PPR PPS PRE PRT PSF PSG PSO PSP PSS PTB PTD PTR PTV PVS PVT PWS Paavo Pacholczyk Pagliani Paliath Palopoli Pankowski Panos Paola Paolo Parameterized Parametricity Pardubsk Parente Parikh Paulien Paulienten Paulson Paun Pavel Pawe Pawel Pawlak Pb Pelc Peled Peltier Penczek Penttonen Pereira Perlis Petkovi Petri Peuker Peyral Pfenning Philippe Pientka Piero Pierpaolo Piet Pietkiewicz Pietrowcew Pigozzi Pinna Piotr Pitsch Plaisted Pleszkoch Policriti Polkowski Pomsets Pomykala Poorani Popova Poset Possibilistic Powerdomain Prade Pregrammars Preoteasa Przelaskowski Przymunsinski Przymusinska Przymusinski QAA QAC QAL QML QMS QNU QPD QTU Qing Quantisation R RAF RAI RAL RAQ RAR RBC RBU RBV RCC RCR RDN RDS RDT RFE RHS RIC RIT RIV RLS RLV RM RME RMG ROG ROS RP RPB RPL RPP RPS RRA RRB RRC RRS RSA RSC RSD RSM RSN RSR RST RSV RTL RTS Ra Rabinowicz Radev Rados Radu Raffoni Rahonis Rajagopalan Rak Rakowski Ralf Ramakrishna Ramesh Ramified Rana Ranjit Ras Rasiowa Rauszer Rauzy Reachability Recognizability Reducts Regino Reiko Reiter Remigiusz Remmel Renvall Residuated Restivo Rety Revesz Rey Ringeissen Rishe Ristori Rita Rocca Rodenburg Rohit Rolf Romanowska Ronchi Rosenthal Rossell Rossi Rougemont Rozenberg Ruiz Ruohonen Rusinkiewicz Rutten Rybinski Rydeheard Ryszard S SAA SAF SAI SAO SBM SCCS SCS SDE SDL SED SEI SEL SER SGS SI SKD SL SLI SME SMG SNM SNT SOH SP SPC SPE SPF SPI SPL SPN SPS SRC SS SSD SSN SSR SSS STC STR STS SUR SWS SZK Sa Sabbadin Sabrina Sakai Salibra Salomaa Salwicki Sandor Sanghamitra Sanjukta Sankar Sarit Sassone Sastry Satisfiability Sauro Sch Schaerf Scharff Schaub Schettini Schippers Schlatter Schlechta Schmitt Schoenauer Schurr Schwarz Schwind Sebag Sebastiano Seda Segerberg Sehyeong Semigroups Seminormal Semiorders Sendra Seredy Seredynski Sergey Serna Shan Shang Sheng Shie Shusaku Sibylle Siegel Sikora Simi Simona Simone Sinha Sitabhra Sitaraman Skandalis Skarbek Skolemization Skordev Skowron Skyum Slavian Slowi Slowinski Smyth Snoeyink SoleX Sopena Sorina Sparmann Spilker Spyratos Sridhar Stachniak Stalnaker Starke Stathis Stef Stefano Stefanowski Steffen Stefka Steinbach Steinby Stepaniuk Stephan Stoeva Su Subdirect Subgoal Subhash Submonoids Subrahmanian Substitutivity Subtyping Subwords Sucheta Sukhamay Suman Suraj Suri Susana Sven Symeon Systolic Sza Szalas Szijarto Szpakowicz T TAA TAC TAS TBD TCE TCS TDC TDF TDN TFO TGR TIS TLA TLB TLR TLT TNA TPL TPS TSA TSL TSP TST TTR TUA TWD Tadeusz Taentzer Takeshi Takeuti Tanaka Tannen Tel Tendera Teng Tennenbaum Teodor Terlutte Tero Tetrahedralizations Thomason Thorne Thue Tien Tilson Tini Tiplea Tison Tiuryn Tommi Topos Torben Torre Torsten Toshio Trakhtenbrot Truszczy Truszczynski Tsumoto Tulipani Turakainen Tyszkiewicz U UAV UFH UFT UIW ULE ULP UMA UMN UNS UPL UPP URL USC USD UTA UTD UUB UWS Ugo Un Unary Unearthing Unimprovable Urzyczyn Uwe Uzc V VCC VFS VGA VPE VQ VSF Vagvolgyi Vakarelov Val Valtteri Vanja Vatonne Velauthapillai Veltink Venturini Vesa Vicolov Vidyasankar Vigna Vigneron Vijayaragavan Vink Viorel Viviana Vladimiro Vogler Volker Volkert W WD WDC WFS WMM WNC WSL WWW Wafaa Wainer Waldemar Wanne Wasilewska Wavelets Wetzel Wierzcho Wierzchon Wiktor Wille Willem Winkler Winkowski Witold Wla Wlaz Wojciech Wojdy Wojdyllo Woltert Workflows Wr Wroblewski Wulff Xing Xining Y Yan Yankelevich Yao Yoram Yu Yurov Yuxi Z Zachos Zakharyaschev Zantema Zawadowski Zbigniew Zdzis Zdzislaw Zembowicz Zena Zeugmann Zhang Zhiltsova Ziarko Zilli Zucker Zytkow ack acknowledgement acm adys ajournal apr atrice aug autoepistemic automata aw awa beebe behaviours bibdate bibmods bibnames bibnet bibsource bisimulation blewski c cfm chameleonic characterizations ck com conformisms cseg ctor d'Horizon datacompression de deBakker deKogel dec del delCerro denHartog der dl doi dx e edu entropic equational er erban es feb fjournal foldings fundamenta fundinfo ger gis gv hm hnel http hypergraph i id infinitary informaticae iospress iplea iri iu j jan jul jun k ki kinen ko l le lgyi lio lix ller logics m modalizing n ndor ner nescu nhfb ning nondeterministic noninterleaving nonmonotonic nov nter nther ntsch o oct odi ois onka opotek ordinals org owska parsable phane poly possibilistic pushout r ra rald rard rgen rgensen rgy rn rr rvinen s sep serializability showtags si ska subterm sz t tef tegui tex thomas tivier tjen ty u ukasiewicz ukaszewicz un undecidability unsrt utah v vanBakel vanBenthem vanLinder vre vs www y ytkow z zef zek zeugmann