AAA AAC AAD AAG AAK AAM AAP AAR AAS ABM ABS AC ACA ACC ACD ACL ACN ACP ACS ACU ADAPTing ADC ADF ADG ADI ADK ADL ADP ADT ADTs AED AEM AEP AES AFA AFM AFN AFP AGD AHB AHT AI AIC AIG AII AIP AIS AKA AKB AKK AKM AKS ALC AMAC AMB AMC AMD AML AMPATS AMR AMT ANL AOC APA APB APC APD APF APG APJ APL APLUSIX APM APO APP APS APV AQR AQV ARB ARI ARO ARS ASA ASAX ASD ASG ASL ASN ASQ AST ASW ATC ATD ATG ATL ATM ATP ATT AVC AVF AVS AWT Aarsten Abadi Abdel Abdelaziz Abductive Abdullahi Abdulrab Abelian Abiteboul Abmann Abramsky Aceto Achim Achour Acknowledgement Adamo Adel Adeli Ag Agarwal Agarwala Aggarwal Agha Agrawal Aguilar Ahuactzin Ahuja Aida Aiken Aiqin Ait Aizawa Akinori Akkermans Akl Akutsu Alain Albers Alejandro Aleven Alexandridis Alexin Alexis Alferes Alfs Algorithmics Alhafez Ali Alison Allard Allemang Allinson Almeida Alon Alonso Alpuente Alt Althoff Altman Alur Alves Ama Amamiya Ambriola Ambrosius Amestoy Amihood Amir Ammon Amtoft Analysing Analytica Anas Anatoli Anatoly Andonoff Andonov Andrea Andreas Andrei Andreoli Andries Andrzej Anick Anil Anisimov Anjaneyulu Annegret Anneliese Anoskey Antimirov Anton Antonellis Antonio Antoy Anzai Aparicio Apers Apostolico Apport Apr Apsitis Arai Aravindan Arbab Arbaoui Arbenz Archangelsky Ariola Arlet Arnd Arni Aronsson Artalejo Arun Arunachalam Arvind Aspectual Assaf Asteroth Astrachan Astrom Asymptotical Asymptotics Atallah Athanasios Atomicity Attali Atwood Auddino Autoepistemic Automation Automatization Averbuch Awerbuch Ayguade B BA BAO BAP BB BBC BBN BC BCC BCK BCN BCP BDP BDS BDT BEI BF BFB BFC BHC BHI BIH BIS BKB BKD BKT BLAS BLP BMC BME BN BNA BNa BNb BNc BNd BNe BNf BNg BNh BOD BPA BPC BPD BPR BPS BPW BQM BRT BRV BSR BT BTB BTC BTG BTS BTT Baader Baaz Baca Bachmair Backpropagation Badouel Badre Baeten Baeza Bagrodia Bahgat Bahi Bahler Bahsoun Bai Baig Bailin Bailor Baiocchi Baj Bala Balbiani Baliga Balle Bandinelli Banerjea Baral Barback Barbanente Barbuti Barcan Bargury Barnett Barr Barrett Barroso Barschdorff Bart Barthelemy Barwise Basili Basille Bast Batanov Battista Bauch Baudouin Baum Baumann Baumgartner Bayassi Bayer Bayliss Bazalgette Beate Beaucoudrey Bechennec Becher Becker Beckert Becks Beeck Beekelaar Beeson Behar Behaviour Beierle Beigel Bekele Bekkers Belaid Belanche Belanger Belkhatir Bellemain Belmesk Beltran Bemmerl Benali Beneventano Beney Bengt Benhamou Benkerimi Benton Beranek Bergamaschi Bergeron Berghuel Bergler Bergmann Bergstra Berkman Bernardi Bernardinello Bernd Bernhard Bernon Bernus Berrendorf Bertels Berthold Berthomieu Berthou Bertolazzi Berztiss Bescos Besnard Bessiere Bettina Bhargava Bhatt Bhattacharya Bhuiyan Bi Bianca BibNet BibTeX Bibel Bic Biersack Bilardi BinProlog Bipin Bisectorsup Bisiere Bisimularity Bisimulation Bisimulations Bittel Bitteur Blakowski Bleakney Blomer Blondon Bocca Bockmayr Bodlaender Bogumil Bois Boley Bolignano Bolognesi Bon Bonatti Bonchev Bondarenko Bonello Bono Boreale Borger Borivoj Borla Borras Borri Borshchev Bosschere Bossi Bothe Bott Bottcher Botten Botti Boudet Boudol Bouhoula Boulanger Boulay Boulicaut Boundedness Bourdeau Bourdon Bouret Bourgois Bourzoufi Bouze Bouzeghoub Boyar Boyd BoydelaTour Boyer Boyle Brachman Brandstadt Branskat Bratko Bratsberg Brazdil Breazu Breitenecker Breiteneder Breslauer Breuer Breuker Brezany Brezzi Bridget Brinkhoff Brinkop Brinksma Briscoe Brna Broadband Brockett Brockmann Broder Brodie Brogi Bronisz Brookes Brosgol Brough Broy Bruegge Bruijn Bruin Bruning Brusilovsky Bruyn Bruynooghe Bry Bsaies Bshouty Bubenko Buchberger Buchi Budgen Buhrman Buitelaar Bulterman Bundgen Buneman Bunke Buntrock Burckert Burgard Burkart Burkert Burkhard Burtschick Bussche Buth C CAC CAI CAIS CALC CALLGUIDE CAO CAPP CAS CBC CBF CBK CBM CBR CC CCC CCE CCF CCI CCITT CCL CCM CCN CCP CCR CCS CCSDS CCW CD CDA CDE CDM CDS CDT CEB CEC CEE CEL CEP CER CERN CES CET CEU CFC CFD CFH CFI CFL CFP CFS CFa CFb CFc CG CGC CGD CGF CGG CGM CHEMPROF CHP CHS CI CIC CID CIG CIH CIL CIM CIP CIS CKB CL CLA CLC CLH CLM CLP CLS CM CMA CMB CMC CMD CMI CMK CML CMM CMP CMR CMS CMW CNC CNET CNH CNM CNP COA COC COCA CODEN COGNITIO COL COMP COR CP CPD CPE CPG CPI CPL CPM CPN CPP CPR CPS CPT CPW CQP CR CRC CRCW CRD CRE CRG CRI CRK CRL CRM CRN CRP CRS CRV CSA CSC CSD CSE CSG CSI CSM CSP CSS CST CSV CTA CTC CTD CTK CTM CTP CTR CTS CTT CU CVA CVC CVL CVM CVP CVR CVS CWM Ca Cabral Cacace Caching Cadelli Caerts Caferra Cai Caiger Calas Callahan Calo Calzolari Campbell Campo Campos Candela Cantoni Capani Capelli Capello Capobianchi Capon Carapuca Carbo Cardow Carino Carlo Carmo Carrara Carriero Carroll Casanova Caspi Castano Castellani Catalogue Caterina Catrambone Cattrall Caucal Causse Caylay Ce Centred Cerans Cerro Cervesato Cervoni Ch Cha Chachaty Chailloux Chamski Chan Chandrika Chaochen Characterizations Chari Charlet Charlier Charot Charrier Chaudhary Chavel Chazarain Chazelle Chee Cheng Cherief Chetan Chevallier Chew's Chia Chien Chiopris Chirimar Chitta Choffrut Choi Choquet Chou Choudhary Chouraqui Chowdhury Christel Christensen Christiansen Christoff Christoph Christophe Christos Chu Chung Chwa Ciaran Cichon Cinar Cindio Cinque Clancey Clausal Cleanroom Cleaveland Clerbout Clergerie Climent Cocco Codenotti Codish Cograph Coker Colbrook Colin Collette Collofello Colour Colouring Combinatory Comon Compositionality Comyn Conclog Conery Confluence Connectionism Connectionist Conradi Conruyt Constantopoulos Constructivity Contejean Copestake Coquand Coray Corbett Corby Cordes Corporaal Cortes Cortesi Costa Costal Costantini Couclelis Coulson Coulter Courcelle Courcoubetis Courseware Courtiat Cousot Coutelle Cowen Cowie Cox Craigen Cremers Crochemore Crookes Cruz Cuena Cui Cunto Curien Currey Curtis Curzon Cutwidth Czaja Czumaj Czyzowicz D D'Aloisi D'Ippolito DAA DAE DAP DAS DAT DATALOG DATALOGsup DAU DAloisi DBC DBD DBI DBN DBP DBS DC DCA DCC DCD DCE DCG DCL DCM DCP DCR DCS DCT DD DDD DDE DDK DDM DDS DDsup DDucks DEA DEE DEL DET DFA's DFD DFE DFS DFT DGA DGC DGM DGT DHR DHT DIB DIC DIF DIGITEF DIO DIR DIS DIppolito DKB DKM DKT DLC DLM DLP DLS DM DMA DMC DML DMM DMP DNR DOM DOO DOQ DPA DPC DPE DPF DPG DPM DPP DPS DPT DPU DRC DRD DRL DSD DSDL DSG DSI DSL DSM DSO DSP DSR DSS DT DTB DTC DTE DTI DTR DTS DTW DUI DUP DVD DVT DZ Dabija Daemen Dafa Dahl Dahlgren Dahlhaus Dahm Dahmen Dain Daley Dalianis Dallemagne Damaschke Dami Damm Damy Danforth Daniele Dantsin Danvy Darondeau Das Dataflow Datalog Datta Dawes Dayanand Dayde Dbali DeBosschere DeFloriani DeSantis DeSchreye Debabi Debenham Debray Decompositional Decuyper Defeasible Degano Degtyarev Del DelCerro DelSoldato Delacour Delagi Delaunay Delia Delis Dell'Acqua Dellarocas Demetrovics Demian Demoen Demri Dendris Dennebouy Denneheuvel Deques Deransart Derencourt Derniame Dershowitz Deryck Desmedt Desmoulins Desprez Devarenne Devillers Dewal Dewhurst Di Diaz Didier Diekert Dieng Diessel Diestelkamp Dietz Dietzfelbinger Differencial Digraph Digricoli Dikowski Dillenbourg Dimakopoulos Dimitris Dimopoulos Dincbas Dinesh Dinler Dion Dirk Discretization Djamen Dmitri Doleac Domenico Dominique Dong Dongen Donn Doran Dorffner Dorochevsky Dorr Dorward Dosch Doucet Dov Du DuBoulay Duato Duba Dubois Duboux Dubreuil Ducasse Ducharme Duell Duesterwald Duflos Dufresne Dumslaff Dupont Duprat Dusseault Duvvuru Duzi Dwork Dybvig Dynamicity Dyslexic Dzeroski E EAC EAD EAG EAL EAP EAS EBR ECA ECC ECE ECF ECL ECP ECS EDC EDD EDDI EDG EDM EDS EEC EEE EEM EEP EER EES EFB EFG EFN EFO EFT EGR EGT EHT EI EIC EIN EIS EIT EIV EKS ELB ELD ELE ELP EMB EMC EMD EMM EMP EMQ ENF EOC EPC EPE EPI EPM EPP EPR EPS EPT ER ERB ERC ERD EREW ERM ERO ES ESA ESD ESE ESF ESG ESI ESM ESOP ESP ESS ESTEAM ETD ETS EUC EUODHILOS EUU EVG EVS EXPITS Eachus Easterbrook Ebert Eccher Echahed Eckhardt Eckstein Eco Edalat Edelson Eder Edmonds Edo Effelsberg Efim Egenhofer Eggan Eggert Eglin Egly Egnatoff Egon Ehrenfeucht Ehrich Ehrig Eigenmann Eigensolution Ekkehard ElHani Elammari Elicitation ElipSys Elmasri Elorriaga Elrad Elvinia Embeddings Embrechts Embury Emmelmann Emmerich Emo Engelfriet Engels Englebert Enrichments Epistemic Epley Equational Ergonomic Eriksson Erland Ertel Ertl Esik Esparza Esposito Essafi Estublier Etalle Ethernet Etsuya Eugeny Evelina Evensetal Evgeny Ewa Ewing Exman Exner Exper F FAA FAC FAL FAS FAX FBB FBD FBP FBS FCA FCG FCI FCP FCS FDB FDC FDDI FDL FDP FDR FEI FFA FFD FFF FFI FFM FFO FFR FFT FGB FGG FHS FIDO FIF FIK FIM FINite FIP FLI FLP FMA FME FMK FMP FMS FNM FOLON FOOPS FP FPA FPB FPC FPE FPR FPS FPT FPV FRAPPS FRI FSM FSO FSP FSR FSS FSU FTB FTH FTP FTS FUNSOFT FVC FWI Fabio Fabre Fabret Falaschi Falcidieno Fanchon Farach Farinas Farrag Favaro Fawcett Fawlty Feder Feferman Fegaras Feifer Feitelson Fekete Feldmann Felty Fensel Feraud Fermuller Fernandez Fernstrom Ferrante Ferrari Ferreira Feuerstein Feyock Fiallos Fibre Fich Ficorilli Fiddian Filali Findler Finitary Fischetti Fixpoint Fixpoints Flach Flajolet Flang Fleischer Floriani Flum Fonkam Fontana Foong Forcheri Formalisation Forster Fortin Fortunel Fotheringham Fouque Fourman Fraboul Fraguas Fraisse Francesco Francez Franzen Franzle Fraser Frasson Fraus Frawley Freeston Frei Freisleben Freitag Freivalds Freksa Freund Freundschuh Fri Friedhelm Friedrich Friel Frisch Frison Fritscher Fritzsche Fritzson Froidevaux Fron Fronhofer Fruhwirth Frye Fu Fuggetta Fuhrmann Fujimoto Fujita Fujiwara Fukazawa Fukushima Functorial Furbach Furer Furnari Furtado Futch Futtersack G GAI GAR GBI GBT GCA GCC GCE GCL GCLA GCM GCS GDE GDM GDoM GEA GEK GES GFC GFLOPS GGC GGG GGP GGS GI GIA GID GIS GIT GKD GLE GLP GLR GMD GME GMI GMR GMT GNC GNF GOS GPC GPH GPN GPR GR GRS GS GSC GSE GSL GSN GSS GTB GTC GTM GTP GTQ GTS GVC GVCa GVCb GWC Ga Gaasterland Gabarro Gabbay Gabbrielli Gabrielides Gaetano Gai Gailly Gaines Galerkin Galil Galindo Galipo Galle Gallina Galmiche Galvez Gamatie Ganascia Gandhi Ganesan Ganesh Gannon Ganz Ganzinger Gao Gappa Gardenfors Garg Garigliano Garlan Gartner Gasarch Gasperoni Gastaldo Gastin Gateley Gau Gaumer Gauthier Gautrin Gautron Gavalda Gavignet Gawlick Gecsei Geelen Gegg Gehne Gelder Gelernter Geller Generalised Genericity Gengler Genome Gentzen GeoBlock Geoff Geospatial Gerasoulis Gerberding Gerbessiotis Gerd Gerndt Gernot Gerstl Gerth Getov Geva Gha Ghafoor Ghazawi Ghemri Ghezzi Ghosal Ghosh Giacobazzi Giammarresi Giavitto Giboin Gielen Gilette Giorgio Giovini Girard Girault Gire Girkar Giunchiglia Giuseppe Glabbeek Glasser Glauert Glick Gligor Globig Gloess Gnaedig Gobin Godel Godfrey Godskesen Goerdt Gogolla Goguen Goldwurm Golin Golledge Gollmann Goltz Golumbic Gomard Goncalves Gonnet Gonzalez Gorda Gordin Gorlatch Goscinski Goss Gotterbarn Gouar Gouarderes Goubault Govaerts Govindarajan Gr Grabowski Gradel Gradwell Gramlich Grammatikakis Grandbastien Grau Greboval Greco Greenleaf Greer Grefen Grefenstette Gregoire Greibach Griebel Griesemer Griffiths Grigolli Grigori Grobner Groeneveld Groenewegen Groot Groote Grosch Grossi Groundness Gruhn Grumbach Grumberg Gu Guan Guang Gucht Guerra Guerraoui Guessarian Guevremont Guey Guibas Guid Guidon Gunter Gunther Gunzenhauser Guo Guozhu Gupta Gurr Gusella Gusgen Gustaf Gustafsson Gutfreund Gutierrez Gutknecht Gutstein Guttenberg Guttman Guttorm Gutwin Gutzmann Guzdial Gyimothy Gyss Gyssens Gyula H HAN HBI HCJ HCP HCQ HCS HDA HDI HDM HDS HDTV HFS HG HGR HH HHD HHP HIC HIF HIN HLR HMI HML HOF HOL HOO HPA HPC HPU HRG HRG's HRGa HRGb HRGc HRL HRL's HSE HSP HTB HTM HTT HTTP Habel Haberstroh Habra Hadzilacos Hafsteinsson Hagelstein Hagerup Hahnle Hai Haikala Haim Hainaut Haines Hajek Hajicova Hajime Hakan Hakata Halatsis Halbwachs Halina Halldorsson Hallnas Halper Halpin Hamamoto Hamanaka Hamel Hamfelt Hamid Hammerslag Hamoen Han Hankin Hanko Hannan Hannesen Hanschke Hansson Hantao Hanus Harald Hardon Haridi Harland Harmanec Harmelen Harrop Hartel Hartmann Hartrum Hasegawa Hashim Hatz Hatzopoulos Hauenschild Hauser Hausman Havel Hayashi Hayssam Heckmann Hedayat Heep Heffter Hehmann HeiTS Heide Heijst Heikki Hein Heinrich Heiss Helary Hellwagner Hemachandra Hemerly Hemker Hendren Henglein Henk Hennessy Hennicker Henrard Henri Henrik Henson Hentenryck Henzinger Herbeck Herber Herbrand Herky Herlihy Hermann Hermano Hermenegildo Herold Herre Herrera Herreweghen Herrtwich Hersch Hershberger Hertzberg Herweg Herzig Herzog Hesketh Hesser Heusch Hidaka Highley Hines Hinz Hiraki Hiranandani Hirashima Hirohisa Hirokawa Hiroshi Hirshfeld Hoa Hoare Hoeflinger Hoek Hoene Hoepner Hoffmann Hofmann Hofstede Hofting Hogger Hohmann Holger Holldobler Holm Holman Holzbaur Holzer Homotopy Honours Hoofman Hoogerbrugge Hoogers Hooman Hoon Hopfmuller Horikawa Horspool Hortala Hoshide Hosli Hou Houck Houzet Hromkovic Hsiang Hsieh Hsu Hua Huang Hubel Huber Huet Hui Huitema Huizing Hummel Husinsky Hussmann Huth Huttel Hutz Hwang HyDi HyperCard HyperMIR Hypercard Hypercycles Hyperedge Hyperedges Hypergraph Hypergraphs Hypermedia Hypernode Hyperplane IAF IAG IAI IAL IAS IBI IBL IBT ICAI ICB ICD ICL ICM ICR ICS ICT ICW IDC IDF IDI IDO IDP IDRIS IDS IDW IE IED IEF IEN IES IEV IFK IFP IFS IGC IGE IGI IGP IH IHA IHF IHI IHL IHO IIA IID IIE IIR IIS IKEA ILC ILD ILE ILI ILISCE ILP ILR ILS ILT IM IMA IMD IMG IML IMPS IMR IMS IMT INB ING INP IOA IOH IOO IOS IPA IPB IPC IPD IPI IPL IPM IPO IPP IPR IPS IPSC IPT IPU IQR IQT IRA IRN IRP IRR IRS ISA ISAR ISBN ISC ISD ISE ISF ISL ISO ISSN ITA ITD ITH ITI ITL ITM ITP ITR ITSs ITW IUU IVK Ia Ib Iba Ibarra Ichisugi Icking Id Idury Igarashi Ihler Ikeda Ilan Ilarraza Iliev Ilinsky Ilkka Ilmberger Imai Indistinguishabilities Indurkhya Infinitary Inghilterra Ingold Ingrid Inoue Interargument Internet Internetworks Interoperability Interprocedural Intuitionistic Invertibility Ip Ir Iri Irith Irwin Isabelle Itai Italiano Ito Itoh Ivanets Iwama Iwen Iyengar J JML Ja Jablonowski Jaccheri Jacobi Jacobson Jacquet Jadhav Jager Jain Jajodia Jakobsson Jakoby Jancar Janetzko Janos Jans Janson Janssens Jarke Jategaonkar Javier Jawahar Jeanette Jeanne Jeffay Jegelka Jens Jensen Jezequel Jiafu Jiang Jianguo Jiann Jianxiang Jimbo Jin Jingde Jingsen Jingsha Jinn Jirousek Jo Joab Joachim Johan Johannesson Johansson Jong Jonker Joos Jorg Jovanovic Ju Judd Jukka Jul Julliand Jun Jung Jungclaus Jungert Jurate Jurgen Juris Justo Juul Juvin Jwo Jyrki K KA KAC KAD KADS KAE KAG KAI KAK KAP KAR KAS KAT KBA KBC KBD KBM KBP KBS KBT KC KCM KDE KET KFS KITSS KIV KIWIS KKB KL KMK KMS KMT KOAN KPD KPF KPROP KPT KRD KRI KRN KRU KSD KSL KSS KSV KTC KUK KUSET Ka Kaas Kabakchiev Kaci Kacsuk Kadokura Kahrs Kaiser Kaivola Kaizhong Kajitani Kak Kakusho Kalafatis Kalff Kallis Kalmanek Kaltenbach Kalvis Kalyanasundaram Kamal Kamath Kambayashi Kaminski Kamkar Kan Kanai Kanaoka Kane Kang Kanji Kantipudi Kappel Kapur Karagiannis Karamouzis Karcher Karel Karger Karhumaki Kari Karjoth Karlotto Karlsson Karoui Kasahara Kasangian Kascak Kashihara Kassel Katajainen Katona Katsumi Katz Kaufmann Kawalek Kaye Kazuo Keane Kedem Keefe Kees Keesmaat Kefals Keh Kehl Kehrer Keiichi Kelleher Kelter Kenyon Keong Keranen Kernebeck Kernig Kerridge Kesner Kessler Ketteler Khaled Khaoua Khuller Khuwaja Kiehn Kielmann Kiem Killin Kilpelainen Kinber Kipersztok Kirn Kirousis Kirsch Kirschenhofer Kitaev Kitagawa Kitahashi Kivinen Klappholz Klarlund Klasing Klauck Klawonn Kleene Kleij Kleijn Klingler Klingspor Klinker Klir Kloks Klotz Klusener Knabe Kniesel Knijnenburg Knirsch Knoop Knopp Ko Kobara Kobayashi Kobler Kochendorfer Kodratoff Koelbel Koen Koenderink Kohei Kohlhase Kohn Koike Kolaitis Kolbezen Kolmogorov Kolodner Komorowski Kono Konolige Konstantin Konstantine Kopisch Kortsarz Kosch Koscielski Koshimura Kossovsky Kostamaa Kotov Kotterba Kouba Kounalis Kouramajian Koussev Koutny Kovalenko Kowalski Kowaluk Koymans Krall Kraus Krautter Kreitz Kremer Kreuger Kreveld Kriegel Krikis Kripke Krishnamoorthy Krishnamurthy Krivine Kriwaczek Krob Kroger Krolak Kromodimoeljo Kropf Krummenacher Kruse Krylov KryptoKnight Kubat Kucera Kuchen Kuchenhoff Kuchlin Kuen Kuerner Kuhn Kuijper Kuiper Kuke Kulkarni Kumar Kummer Kunde Kuntz Kuo Kurfeb Kurosawa Kurtz Kurup Kurz Kusakabe Kushner Kushniruk Kutty Kutylowski Kuzmycz Kwast Kwiatkowska Kwok Kyoko L LAC LAI LAN LAR LBC LBL LBN LCA LCB LCCN LCI LCM LCP LCR LCS LD LDG LDI LDL LDS LE LEB LEC LECT LEI LFL LGD LGG LHH LIM LIRs LIS LLC LLD LLF LLP LLT LM LMF LMM LMP LMR LMS LNAI LNCS LNCSD LOC LOL LOS LOTOS LOU LPA LPB LPE LPL LPM LPP LPS LR LRA LRI LRP LRT LSA LSC LSL LSM LSO LT LTA LTL LUD LUP LUSTRE LVA LW LWK LaPoutre LaTeX LaToKi Labarta Labat Labelled Lackmann Lackner Laenens Lahjomri Lai Lakh Lakhdar Lakhneche Lakshmanan Lalam Lam Lamma Lamontagne Lamparter Lampe Lamport Lampson Lan Laneve Lang Langendoen Langmaack Langrehr Langston Lano Lanusse Lanzarone Larcheveque Larichev Laroche Larue Latil Latteux Laudwein Laufmann Launchbury Laurent Lauwereins Lavalette Lavault Lavenier Lavington Lavon Lavrac Lazansky Le LeSergent LeVerge Learner's Leavens Leclerc Lefebvre Legleitner Legrain Lehmann Lehrenfeld Lei LeiB Leiss Leitch Leite Lekova Lelouche Lemke Lemmaizing Lenart Leng Lengauer Lenhof Leoncini Leonid Leonidas Lescanne Lesgold Lessard Lesske Leu Leung Lev Levaire Levcopoulos Levene Levesque Levialdi Levin Levison Lexicography Leydekkers Li LiMin Liang Lianjing Liberatore Libkin Lidtke Liere Lilly Lim Liminf Limsoon Lin Lindenbaum Lindholm Lindley Lindstrom Ling Lingas Lino Linster Linzer Lippitsch Lirov Litaize Litovsky Liu Ll Llaberia Llareus Lo Lobo Logicist Logspace Lohs Lombardi Lonc Lonchamp Longpre Loogen Looney Lory's Lorys Lou Lowlevel Lozano Lu Luca Lucidi Lucien Lucking Luginbuhl Luhofer Lui Luk Lulofs Lundberg Luo Lusk Luttringhaus Lutz Lysne Lyuu Lyytinen M MAS MAU MAV MBC MBD MBP MBT MC MCA MCC MCE MCG MCI MCM MCP MCS MDD MDM MDO MDR MDS MDT MEB MEE MEF MES MFM MGD MGP MGT MGTP MH MIA MIB MIC MIDI MII MIL MIMD MIZ ML MLC MLE MLH MLI MLL MLP MLS MMC MMG MML MMM MMO MMP MMS MMV MN MNH MNM MODULA MOLTKE MOM MPAa MPAb MPC MPD MPP MPPC MPR MPS MPT MPV MRA MRDs MRL MRP MRR MSD MSE MSL MSO MSP MSS MST MSU MSV MTA MTC MTI MTP MTT MVA MVC MVD MVL MVM MVN MVO MWK Maass MacGinnes MacNish Machado Macintoshes Maciocco Mackenzie Macpherson Madhavapeddy Madhavji Madlener Maehle Mah Mahendran Maher Maheshwari Mahjoub Makanin Makanin's Makanina Makarov Makedon Makhaniok Makowsky Maler Maletic Malhotra Malony Malsallez Maltzahn Maluszynski Manago Mancarella Mangold Manjari Manmahesh Mannila Manoharan Manoury Mansour Mantha Manthey Mantsivoda Manzo Maraninchi Marc Marcelo Marcenac Marchand Marchetti Marchiori Marcke Marek Maresca Maribeth Marien Marijarvi Marik Marini Marinos Markedness Marques Marquie Marta Martel Martello Martins Maruoka Maruyama Marzullo Mashita Mateu Mathematica Mathew Mathpert Matias Matousek Matricial Matsuda Matsukawa Matsumoto Matsuoka Matthias Maurer Maurizio Maximality Mayers Mayes Maymir Mayordomo Mayrhauser Mazer Mazurkiewicz Mazzi McAllester McCalla McCormack McCune McDiarmid McGranaghan McHale McKendree Mecchia Medeiros MegaLog Megiddo Megrelis Mehlhorn Mehta Meibner Meidanis Meier Meijs Meiko Meinke Meisels Meiser Melichar Melliar Mello Melo Melsheimer Melton Mengelle Mengin Meo Merckt Mercouroff Merrall Mertsching Meseguer Mesnard Messer Meta Metalevel Metalogic Metamodeling Metaprograms Metastructures Metatheorem Metivier Meunier Mey Meybodi Mi Micha Michail Michaylov Michel Michela Microlog Microsystems Middeldorp Middlecamp Miech Miglioli Mignot Miguet Mihail Mikael Mikhail Mikko Mikulecka Mikulecky Millroth Milner Milovanovic Milzner Min MinMax Minami Minh Minimise Minker Mino Mircheva Mireille Mirko Miroslaw Mise Mislove Misra Mitra Miura Miyano Miyuki Mizell Mizoguchi Mobus Modelling Modellings Moffat Mogi Mohan Moher Moisy Mok Molfino Moller Molva Momigliano Mon Monfroy Mong Monien Monoidal Monostori Monsuez Montanari Montangero Monte Montello Moran Morando Moreau Moreno Morere Morik Morita Moritsch Morphemes Morphisms Morreau Morzenti Mosbah Mosca Moscatelli Moscato Moser Moshe Moukeli Mouline Mounji Moura Mourlas Mozetic Mraz Msup Mu Muchnick Muhlhauser Mukerji Mukhopadhyay Mukouchi Mukund Muldner Mulholland Mullins Mulmuley Multiagent Multicast Multigrid Multilayered Multimedia Multipacket Multiparadigm Multiplicities Multiport Multiscale Multisets Multithreaded Multivalued Multiway Multiwindow Mundhenk Mundici Munechika Munk Munro Munthe Murakami Murayama Murer Murthy Musen Muskens Muthukrishnan Mycroft Myoupo Myra Mysliwietz Mzoughi N NAA NAD NAI NAS NC NCA NCG NCO NCS NCT NDA NE NEQ NFA's NFD NFF NFI NFL NFT NG NGN NGP NHA NIN NLA NLR NMB NME NML NMP NNC NNF NNG NNT NP NPA NPE NPF NPR NPT NQV NRC NREVERSAL NRI NRL NRS NSA NSD NSL NSM NSP NSS NST NTC NTD NTP NTY NUB NUR NY Nachum Nada Nadel Nader Nagel Naher Naji Najmann Nakagawa Nakagoshi Nakamura Napierala Narayana Narayanan Narita Natraj Nauck Navarro Navathe Navigational Neal Nectaria Nedellec Nehemie Neighbour Neighbourhood Neiman NelleN Nemawarkar Netlog Netravali Neubert Neumerkel Neurocomputing Newcomb Newstead Nexttime Ngu Nguyen Ni Nicaud Nicola Nicolas Nicolau Nicollin Nicolson Nierstrasz Nieuwenhuis Nieva Nigel Nikolaev Nils Nilsson Nimrod Ning Nipkow Nir Nirenburg Nishida Nishizeki Nivat Nodenot Noltemeier Nonconvex Nonen Nonmonotonic Nonnenmann Nonwellfounded Norbert Nordemann Northcutt Nov Novik Novikov Nowicki Nowinski Noye Nu Nunes Nuprl Nussinov Nwana O O'Boyle O'Hara O'Toole OA OAA OAD OAI OAL OAP OBoyle OCCAM OCLC OCR OCS ODC ODM ODS OEC OFD OFI OFR OHL OHara OI OIC OII OIKOS OIP OKC OKK OL OLO OLP OLS OLT OM OMD OML OMP OMR OMS OO OOA OOC OOD OODB OODBs OOF OOO OOP OOR OOS OOV OPA OPC OPG OPH OPP OPS OPV ORC ORP ORS ORT OSC OSP OSR OST OSZ OTD OTP OTR OTS OVF OVO OW OWF OYA Oberloer ObjectMath Observer's Ochmanski Oct Octrees Oettli Offutt Ogawa Ogi Ogiwara Ogura Oguztuzun Ohashi Ohring Ohsuga Okada Okamoto Okasaki Olariu Olderog Ole Oles Oliveira Olm Ombretta Omniscience Oner Ong Online Ontic Onyshkevych Opdahl Operationalizing Optimisation Optimised Opto Oquendo Orca Orli Orlowska Ornaghi Orponen Orthoconvex Ortmann Osmon Ostler Ostroff Otfried Otsuki Ottens Ottmann Ould Owre Ozanne P PAA PAC PAG PANTER PAO PAV PB PBB PBF PCA PCB PCC PCD PCF PCG PCI PCM PCP PCR PCS PCU PCV PD PDA PDC PDEs PDH PDL PDM PDN PDR PDT PEC PEE PEF PEM PEPSIM PES PFB PFE PFP PGG PGL PGM PGP PGR PGS PHA PHD PHF PHG PHL PHR PIC PIF PIJ PIK PIM PIO PIPS PKB PKE PL PLA PLG PLH PLI PLN PLP PLV PMA PMB PMC PMD PME PMI PML PMM PMO PMP PMS PNB PNL PNN PNO PNT POG POS PP PPA PPC PPD PPE PPG PPH PPL PPM PPO PPP PPS PPV PRA PRAMs PRF PRL PRM PROLOG PROTOS PRR PRS PS PSD PSE PSF PSL PSM PSO PSP PSS PST PT PTAH PTD PTH PTL PTM PTP PTT PTW PUA PVP PVS PWB PWI PWO PWV Padget Padua Pagurek Paige Paladino Palamidessi Palem Palios Pantziou Panwar Paola Papadias Papadimitriou Papazoglou Papthomas ParMod ParSim Paralation Paramodulation Paredaens Pareschi Parigot Parikh Parikh's Parisi Parke Parlog Parrow Pasanen Pase Passardiere Pasternak Patak Pataki Paterson Pathwidth Patkar Paton Paugam Pavel Pavlik Pedersen Pedreschi Peixoto Pekka Peladeau Peled Peleg Pellegrini Penczek Peninou Penner Pennings Peperstraete Pereira Perl Perleberg Pernul Perret Perrier Perrin Persiano Pery Pesante Petersson Petit Petiton Petra Petruk Petry Pettersson Petukhin Pevzner Pfeffer Pfeifer Pfenning Phadnis Phalippou Phan Philipp Philippe Philippsen Phoa Phong Phuah Pic Pienovi Pieper Pierangelo Piero Pieter Pigozzi Pijls Pinchinat Pinchuk Pingali Pinna Pinotti Pinter Pippenger Pirolli Pirovano Pirri Pitschke Pizzuti Plabmeier Plainfosse Plaisted Plandowski Planification Platek Pletat Plinta Pliuskeviciene Pliuskevicius Plotkin Plumer Pnueli Pocholle Podelski Poeck Poetzsch Poigne Polyadic Polychronopoulos Polycyclic Polyinstantiation Polymodal Polymorphism Polytopes Pomello Pomsets Poo Popperian Portman Posch Poset Posets Postupalski Potasman Poulovassilis Poutre Powel Pozo Pr Practica Prather Pre Precompiling Preconditioners Preconditioning Prehofer Preilowski Preorders Preparata Presicce Presorted Prestwich Priami Priol ProPre ProQuery Probabilism Prodinger Proix Proj Prokhoroff Prolog Propia Protzen Proulx Przymusinska Przymusinski Psub Puaut Pucci Puente Puhlmann Pullen Puntigam Puppe Puppo Pustejovsky Pym Q QA QAV QDI QDO QHW QLC QOS QR Qi Qian Qiang Qin QingMing Qiu Quadtrees Qualia Quante Quantz Queinnec Quere Quinlan Quinton Qutaishat R RAC RAD RAF RAI RAR RAS RBI RBK RBP RC RCC RCE RCF RCG RCN RCP RCS RCV RDA RDBMSs RDM REH REL RFC RFD RFM RGD RGO RHD RHH RHODOS RIA RIC RIH RISC RIW RLW RM RML RMM RMP RMV RNC RNG RNH RNI RNN ROA ROC ROO ROP RPA RPB RPH RPI RPL RPN RPS RPT RR RRA RRE RRL RRM RRN RRS RRa RRb RSA RSB RSC RSG RSI RSK RSL RSP RSS RTA RTC RTF RTM RTP RTTL RUL RUU RVF Ra Rabhi Rabin Rabinovich Radig Radlinski Ragde Raghavachari Rahm Raimonds Rainer Raines Raj Rajan Rajiv Ralf Ramackers Ramakrishna Ramakrishnan Raman Ramana Ramayya Ramazani Ramesh Ramos Randell Rani Ranjan Rao Rasala Rattray Rau Rauch Rauh Rauscher Ravi Ravikumar Raynal Raynaud Razborov Rebalancing Rebelsky Recker Reddy Redescription Refik Refitting Refutations Regimantas Regionalization Regnier Reichgelt Reid Reif Reim Reimann Reimen Reinartz Reiner Reingold Reinhardt Reintjes Reischuk Reiser Relativizations Relativized Remediation Remo Renard Renardel Rendez Rene Rensink Repr Resnick Resta Reus Reusability Revuz Rewriter's Reymond Reynaud Ricardo Riccobene Ridoux Riedewald Riet Rifaut Rigaud Rinard Ringeissen Ringwood Rios Rivera Rivett Robbin Robson Roch Rocha Rocheteau Rodden Roelants Rohatgi Rohnert Rohr Rohrbach Rohwedder Rojemo Rol Rolf Rolland Romanenko Romboli Ronyai Roos Roose Roscoe Rosenberg Rosendahl Rosenzweig Rosner Rosolini Rossi Rossmanith Rote Rothenberg Rothenfluh Rott Rottke Rousseaux Rousselot Roux Rovick Royer Rozenberg Rozoy Ru Rubio Ruckhaberle Rudalics Rudiger Rudolf Rueher Ruighaver Rullo Runciman Rushby Rusinowitch Rusins Russo Ruston Rutten Ruttkay Rytter Ryuzo S SA SAA SAC SAI SAK SAR SAS SBC SBD SBE SBM SBN SBP SCA SCB SCC SCD SCE SCFa SCFb SCG SCGa SCGb SCI SCL SCM SCO SCP SCR SCT SD SDC SDD SDEs SDG SDI SDM SDN SDO SDP SDS SDT SDU SEC SECReTS SEF SEL SEN SEP SF SFM SFP SFS SFT SFV SGG SGGa SGGb SGL SGM SGS SH SHUNYATA SICStus SID SIG SIMCDL SIMD SIO SIW SKE SL SLD SLH SLO SLP SLR SLS SMB SMD SMF SMH SML SMM SMP SMS SMT SMU SNL SNM SNR SNS SOA SOO SOR SP SPA SPC SPD SPE SPF SPG SPH SPI SPL SPM SPN SPP SPQ SPT SPV SPW SQA SQL SQR SR SRD SRE SRL SRM SRO SRR SRS SRT SRU SS SSA SSC SSE SSF SSG SSI SSL SSM SSP SSR SST STA STC STF STI STL STM STP STRAda STS STUDIA STV SUMIT SUO SUPRENUM SUU SV SVI SWG SYMPATIX Sa Saake Saalmann Saaltink Sacca Sadayappan Sadeh Sadi Saglietti Sahni Sahtout Saidi Sais Sakai Sakalauskaite Salamet Saleh Sallaberry Saltzer Salzer Sancassani Sandeep Sandhu Sandi Sangiorgi Sanjay Sankoff Sannella Santis Santoro Santos Sanz Saoudi Saraiya Sarit Sarjakoski Sarkar Sarrafzadeh Sartaj Sasnett Saso Sassone Sastry Satoshi Sattler Sawamura Sayah Scalability Scha Schaffer Schapeler Schaper Scheer Schenke Schepers Scherer Schewe Schirra Schiwietz Schlageter Schlenker Schlingloff Schmalhofer Schmeltz Schmerl Schmid Schnekenburger Schnell Schnepf Schoen Scholl Schoning Schrefl Schreiber Schreye Schrijver Schro Schroder Schrott Schuerman Schuierer Schuler Schulten Schurr Schutt Schutz Schwarz Schwehm Schweiger Schwichtenberg Schwie Schwiegelshohn Schwing Sean Sebel Sebillot Sebrechts Segers Seibert Seidel Seif Seising Seitz Sekar Seki Selfspell Selicato Sellis Semantemes Semialgebraic Semicomputable Semigroups Semiring Sen Sentot Sep Sequent Serafini Serazzi Sergent Sergio Sergot Serialisation Sernadas Serra Serrano Sestoft Sethi Seviora Sh Shadbolt Shafarenko Shahmehri Shai Shallit Shamir Shan Shang Shankar Sharma Shasha Shaun Shavit Shawe Sheard Sheffler Shende Sheng Shepard Sheu Shibayama Shieh Shih Shilov Shiper Shmuel Shneiderman Shoudai Shteiman Shukhman Shult Shvachko Shyamasundar Si Siani Sibeyn Sideri Sifakis Silberg Silva Silvestri Simanchuk Simanovskis Sime Simone Simonnet Simonot Simvonis Sindre Singh Sipkova Siromoney Siron Sivakumar Sjodin Skelton Skou Slaney Sleat Slowinski Slutzki Smaill Smid Smit Smo Smolander Smolka Smotrovs Smullyan Snodgrass Snoe Snoeyink Snowdon Sobek Socher Socio Soffa Soldato Sollins Solnon Solovay's Soloway Solv Solvability Solvberg Sommerville Sonia Sopena Soper Sowa Spaccamela Spaccapietra Spagnuolo Spangler Spatio Specht Speckenmeyer Spee Spes Spiliopoulou Spirakis Spiro Spreen Sprengel Srinivas Srinivasan Stahl Stalhane Starke Stasko Stategies Ste Steen Stefan Stefania Stefano Stefanowski Steffan Steffen Steigner Steinbach Steinmetz Stemple Stepanek Stepankova Stephan Stephane Stickel Stiemerling Stohr Stojcev Stoltze Stolze Stortkuhl Stpiczynski Straubing Strecker Streicher Strube Studer Subinstruction Sublanguage Sublogics Submodular Subrahmanian Subramanian Subramonian Subrata Subsumption Subtrack Sudholt Sugihara Sundararajan Sungyoung Superfiniteness Superperfection Superpolynomial Superscalar Suprenum Suraj Suri Susana Sushil Sussmann Sutcliffe Suthers Suttner Sven Sverker Swarup Swierstra Swonger Sykora Sylvie Symvonis Synchronisation Systolic Szilard Szpankowski Szucs T TAC TAD TAI TAL TAS TAT TBA TBB TBLL TBR TBT TC TCA TCB TCC TCCS TCD TCL TCP TCS TCT TCW TD TDI TDN TDS TEC TEG TEM TEP TER TEV TFB TFC TFD TFF TFO TFS TGF TGI TGM THR THS TII TIL TIO TIR TIS TK TKA TKR TLA TLC TLG TLK TLR TLS TME TMI TMP TNL TNP TNR TOC TOPMUSS TOS TOVE TPA TPC TPE TPG TPH TPK TPL TPM TPN TPO TPP TPS TPT TPW TQE TQG TQL TQT TRB TRC TRD TRF TRP TRS TS TSA TSB TSC TSD TSE TSK TSL TSLs TSM TSO TSP TSR TSS TSV TTA TTC TTD TTE TTG TTP TTS TU TUA TVT Tabandeh Tableaux Taboury Taha Taitslin Takada Takahashi Takanami Takaoka Takeuchi Takuo Talbi Talcott Tamassia Tanaka Taniguchi Tannen Taoka Tapani Tarah Tarau Tari Tarlecki Tarnvik Tarui Tassart Tattersall Taulbee TeX Tel Tensi Teodor Teradata Terlutte Testclasses Teunissen Tewari Th Thalheim Thanasis Thang Thanh Thapar Thayer Thiagarajan Thiemann Thierauf Thierry Thoben Thom Thorsten Thu Thue Thurimella Thurmel Tibor Tichy Timestamping Timmerman Timos Timpf Tiuryn Tiwari Tjiang Tobias Toby Toda Toeplitz Toetenel Tofts Toi Tokoro Tokuda Tollis Tollu Tomas Tomita Tonelli Toolset Topham Topor Tor Torkel Torres Toshiro Toth Tourancheau Toursel Tourtier Toussaint Toyoda Tra Traff Tragoudas Tran Transductions Transivity Transputer Transputers Trappl Treewidth Trejo Tresch Treshold Treur Treurniet Triangulating Triangulations Triconnected Trilling Tripathi Troelstra Tryfona Tsai Tsakalidis Tsalenko Tsao Tschaitschian Tseng Tsichritzis Tsudik Tsujino Tsur Tue Tuijn Tupailo Turdik Turi Turini Tuteurs Tuv Typechecking Tyszkiewicz Tzilla U UAI UAM UAS UBP UCE UCF UCG UCN UCO UCS UCV UEL UEPS UET UFM UFP UFT UGC UGD UGP UGT UHC UIC UIE UIS UIT ULI UMA UMI UMR UMS UNC UNS UOA UOC UOI UOO UOP UOS UOT UPC UPD UPE UPG UPM UPP URL USG USM USP UT UTC UTD UUD UUL UVC Ubeda Uday Udo Udpikar Ueno Ufuk Ugo Uhl Uhrig Ukita Ulrich Umeno Un Undecidability Une Ungaro Unger Ungerer Unimodularity Unlimp Untch Unwalla Upfal Uribe Urrutia Uwe V VAS VDD VDM VFI VHDL VHS VLC VLDC's VLS VLT VMA VMK VMP VO VPL VPR VPS VRO VRS VRT VSA VSC Vaandrager Vademecum Vadillo Vajtersic Vakarelov Val Valentin Valero Valmari Valsamidis VanDongen VanInwegen VanMarcke VandeMerckt VandenBussche Vandewalle Vanneste Vanwelkenhuysen Varaiya Vardi Vasco Vasconcelos Vassilakis Vassileva Vautz Vazirani Velauthapillai Veloso Venkatasubramanian Verbarg Vereshchagin Vermeerbergen Vermeir Veron Verrijn Verschaetse Vershinin Versioning Verun Vesel Vesztergombi Vianu Videophone Vielle Vieville Viklund Vila Vilers Villano Villard Villemonte Vilo Vipin Virgil Vish Vishkin Vitanyi Vitek Vittal Vivet Vlcek Vo Vob Vogler Vogt Voinov Volker Vollath Vornberger Voronkov Voronoi Vosselman Vossen Vous Vrain Vree Vreeswijk Vrto Vyacheslav Vyskoc W WAM WCS WFS WGD WHS WIK WIZ WKK WKL WKR WOC WOI WPK WPM WSB WSM WSP WSS WST WW WWW Waarts Wadler Wai Waite Wakayama Waldecker Waldinger Waldmann Waldspurger Walther Wanke Wansing Warboys Wardle Warnow Watanabe Wattiau Wayfinding Webb Wechsung Weemeeuw Wegner Weib Weichert Weide Weiermann Weihe Weihl Weihrauch Weill Weininger Wellings Welzl Weng Werkman Werth Westbrook Wetzel Weydert Whigham Whitcroft Widmayer Wiebe Wiedermann Wiehagen Wielinga Wiesenfarth Wigderson Wilde Willsky Winckler Winkels Winkler Winsborough Winsor Witteveen Wojciech Wolfe Wolfinger Wolfram Wolfson Wong Wonham Woodley Woolf Wormald Wormhole Wos Wrathall Wu Wurtz Wuthrich Wuwongse Wybranietz X XFM XFSM XGI XMP XMT XPRAM XTP Xiao Xin Xpnet Xu Xudong Xue Y YAF YAK Yamakami Yamamoto Yamazaki Yan Yankelevich Yannakakis Yano Yao Yasuhito Yatin Yeh Yelick Yibin Yokota Yona Yonezawa Yong Yosi Yossi Yovine Yriarte Yu Yuan Yuasa Yuen Yuichiro Yuji Yum Yung Yuuji Yvo Z Zabel Zage Zaks Zalik Zamorano Zaniolo Zannoni Zaroliagis Zatti Zaversek Zavidovique Zehendner Zeiler Zeleznikow Zerovnik Zeugmann Zhang Zhao Zheng Zhenyu Zhixiang Zhong Zhou Ziavras Zicari Zielonka Zilberman Zimmermann Zipstein Zirkelbach Znati Zohar Zoltan Zolzer Zonta Zorita Zuck Zucker Zundorf Zurfluh Zwarico Zwiers abbrev ack acknowledgement acm adr ai alg analogie annote antichain apprentissage approches artificielle auer auf autoepistemic bach beebe bibdate bibmods bibnames bibsort bicentric bisimulation bisimulations bner bre bridgeless byvolume c canisme chas cheau cher chi chim chirotopes chuk codetable cognitif connaissances d'Amore d'Andrea d'Ausbourg d'E d'acquisition d'apprentissage d'exercices d'un dAmore dAndrea dAusbourg dagogique dans dar das de deBeaucoudrey deBerg deCampos deGroot deGroote deLaPassardiere deLavalette delaPuente delaTour der deres des digms digraph discretized docstring dolph dow du dynamique e eQuality edu eleve email emption en ens environnement equational er es f fa fifo fo foor ftp g ga gaard gcd ghoub gie gil gociation gou hohn http humaine i iPSC iams ieee ien in's incircle ing inger intelligents ispell j ki ku ky l l'apprenant l'architecture l'expertise l'usager lambdamu le lec li linguistique llel lncs lncswxyz logspace logsub ltx m matroids memoization mes mi mieu mo modelisation modelling modularisation multiagent multihead n na nam ne neg nek nhfb niveau o oen oeuvre oise om ometriques ooghe org p para pathwidth pel phane pos premi probl projet pseudolines r ra rateur ratif res resection rique s sa schematization scia se semiwords sens sentation ser shi showtags sok sto strat sur symbolique syst t tal ter terHofstede tex thodologie tis toolset tra treewidth triangulations trin triques trovs tudiant tutoriel tutorielle twocolumn tziou un une unsrt usse utah utilisable utilisant valds vanHarmelen vanHeijst vanKleij vanderHoek vel von vonMartial vonMayrhauser vs w wa wal wc www wxyz x xii xxauthor xxnote ya yai yink ze