callback( { "result":{ "query":":facetid:toc:\"db/journals/eik/eik26.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"226.66" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"37", "@dc":"37", "@oc":"37", "@id":"43435916", "text":":facetid:toc:db/journals/eik/eik26.bht" } }, "hits":{ "@total":"37", "@computed":"37", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"6931043", "info":{"authors":{"author":[{"@pid":"90/2839","text":"André Arnold"},{"@pid":"n/DamianNiwinski","text":"Damian Niwinski"}]},"title":"Fixed Point Characterization of Büchi Automata on Infinite Trees.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"8/9","pages":"451-459","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/ArnoldN90","url":"https://dblp.org/rec/journals/eik/ArnoldN90"}, "url":"URL#6931043" }, { "@score":"1", "@id":"6931044", "info":{"authors":{"author":[{"@pid":"78/610","text":"Ulrike Baumann"},{"@pid":"28/3349","text":"Manfred Lesch"}]},"title":"Equivalent Colourings and Partitions of Graphs.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"11/12","pages":"607-614","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/BaumannL90","url":"https://dblp.org/rec/journals/eik/BaumannL90"}, "url":"URL#6931044" }, { "@score":"1", "@id":"6931045", "info":{"authors":{"author":[{"@pid":"b/BerndBecker","text":"Bernd Becker 0001"},{"@pid":"45/3012","text":"Joachim Hartmann"}]},"title":"Optimal-Time Multipliers and C-Testability.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"10","pages":"547-561","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/BeckerH90","url":"https://dblp.org/rec/journals/eik/BeckerH90"}, "url":"URL#6931045" }, { "@score":"1", "@id":"6931046", "info":{"authors":{"author":{"@pid":"46/275","text":"Eberhard Bertsch"}},"title":"Preservation of LL- and LR-properties in Flattened Grammars.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"8/9","pages":"443-450","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Bertsch90","url":"https://dblp.org/rec/journals/eik/Bertsch90"}, "url":"URL#6931046" }, { "@score":"1", "@id":"6931047", "info":{"authors":{"author":[{"@pid":"88/1762","text":"Lothar Budach"},{"@pid":"64/5584","text":"Ernst-Günter Giessmann"},{"@pid":"72/4478","text":"Hubert Grassmann"},{"@pid":"82/4705","text":"Bernd Graw"},{"@pid":"m/CMeinel","text":"Christoph Meinel"},{"@pid":"30/5045","text":"Burkhard Molzan"},{"@pid":"77/1493","text":"Uwe Schäfer"},{"@pid":"90/1007","text":"Steffen Zahn"},{"@pid":"17/1251","text":"Peter Zienicke"}]},"title":"RELACS - a Recursive Layout Computing System.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"5/6","pages":"315-335","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/BudachGGGMMSZZ90","url":"https://dblp.org/rec/journals/eik/BudachGGGMMSZZ90"}, "url":"URL#6931047" }, { "@score":"1", "@id":"6931048", "info":{"authors":{"author":[{"@pid":"94/3672","text":"Mathias Bull"},{"@pid":"59/4171","text":"Armin Hemmerling"}]},"title":"Finite Embedded Trees and Simply Connected Mazes cannot be Searched by Halting Finite Automata.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"65-73","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/BullH90","url":"https://dblp.org/rec/journals/eik/BullH90"}, "url":"URL#6931048" }, { "@score":"1", "@id":"6931049", "info":{"authors":{"author":[{"@pid":"54/5347","text":"Erzsébet Csuhaj-Varjú"},{"@pid":"d/JDassow","text":"Jürgen Dassow"}]},"title":"On Cooperating/Distributed Grammar Systems.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"49-63","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Csuhaj-VarjuD90","url":"https://dblp.org/rec/journals/eik/Csuhaj-VarjuD90"}, "url":"URL#6931049" }, { "@score":"1", "@id":"6931050", "info":{"authors":{"author":[{"@pid":"e/HDEhrich","text":"Hans-Dieter Ehrich"},{"@pid":"61/5698","text":"Amílcar Sernadas"},{"@pid":"06/3694","text":"Cristina Sernadas"}]},"title":"From Data Types to Object Types.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"33-48","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/EhrichSS90","url":"https://dblp.org/rec/journals/eik/EhrichSS90"}, "url":"URL#6931050" }, { "@score":"1", "@id":"6931051", "info":{"authors":{"author":[{"@pid":"45/1647","text":"Bernhard G. Goetze"},{"@pid":"91/1225","text":"Eduard N. Gordejev"},{"@pid":"63/6625","text":"Werner Nehrlich"},{"@pid":"43/4216","text":"Dimitri W. Kochetkov"}]},"title":"Maximal Empty Boxes in Higher-dimensional Spaces.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"10","pages":"537-545","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/GoetzeGNK90","url":"https://dblp.org/rec/journals/eik/GoetzeGNK90"}, "url":"URL#6931051" }, { "@score":"1", "@id":"6931052", "info":{"authors":{"author":[{"@pid":"37/2901","text":"Walter Issel"},{"@pid":"85/4811","text":"Thomas M. Fischer"}]},"title":"NBSF - eine Sprache zur strukturellen Beschreibung von Schaltkreisen.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"5/6","pages":"337-357","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/IsselF90","url":"https://dblp.org/rec/journals/eik/IsselF90"}, "url":"URL#6931052" }, { "@score":"1", "@id":"6931053", "info":{"authors":{"author":[{"@pid":"i/MasamiIto","text":"Masami Ito"},{"@pid":"95/6965","text":"Huei-Jan Shyr"}]},"title":"p-Languages and p-Representations.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"4","pages":"213-228","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/ItoS90","url":"https://dblp.org/rec/journals/eik/ItoS90"}, "url":"URL#6931053" }, { "@score":"1", "@id":"6931054", "info":{"authors":{"author":{"@pid":"64/3503","text":"Uwe Jansen"}},"title":"An Efficient Way of Calculating the Distribution Function Density, and Moments of Phase Type Distributions.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"8/9","pages":"473-484","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Jansen90","url":"https://dblp.org/rec/journals/eik/Jansen90"}, "url":"URL#6931054" }, { "@score":"1", "@id":"6931055", "info":{"authors":{"author":[{"@pid":"j/HJurgensen","text":"Helmut Jürgensen"},{"@pid":"28/3056","text":"S. S. Yu"}]},"title":"Solid Codes.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"10","pages":"563-574","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/JurgensenY90","url":"https://dblp.org/rec/journals/eik/JurgensenY90"}, "url":"URL#6931055" }, { "@score":"1", "@id":"6931056", "info":{"authors":{"author":[{"@pid":"58/2451","text":"Manfred Koebe"},{"@pid":"28/3734","text":"Jens Knöchel"}]},"title":"On the Block Alignment Problem.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"7","pages":"377-387","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/KoebeK90","url":"https://dblp.org/rec/journals/eik/KoebeK90"}, "url":"URL#6931056" }, { "@score":"1", "@id":"6931057", "info":{"authors":{"author":{"@pid":"41/4118","text":"Reiner Kolla"}},"title":"Minimal Area Sizing of Power Supply Nets in VLSI Circuits.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"11/12","pages":"585-605","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Kolla90","url":"https://dblp.org/rec/journals/eik/Kolla90"}, "url":"URL#6931057" }, { "@score":"1", "@id":"6931058", "info":{"authors":{"author":[{"@pid":"15/5034","text":"Jean-Louis Krivine"},{"@pid":"48/5745","text":"Michel Parigot"}]},"title":"Programming with Proofs.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"3","pages":"149-167","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/KrivineP90","url":"https://dblp.org/rec/journals/eik/KrivineP90"}, "url":"URL#6931058" }, { "@score":"1", "@id":"6931059", "info":{"authors":{"author":{"@pid":"88/4246","text":"Jürgen Lampe"}},"title":"Local Parse - A Base for Realistic Parallelisation of Compilers.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"75-84","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Lampe90","url":"https://dblp.org/rec/journals/eik/Lampe90"}, "url":"URL#6931059" }, { "@score":"1", "@id":"6931060", "info":{"authors":{"author":{"@pid":"09/6371","text":"Michael Löwe"}},"title":"Implementing Algebraic Specifications by Graph Transformation Systems.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"11/12","pages":"615-641","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Lowe90","url":"https://dblp.org/rec/journals/eik/Lowe90"}, "url":"URL#6931060" }, { "@score":"1", "@id":"6931061", "info":{"authors":{"author":{"@pid":"31/1171","text":"Erkki Mäkinen"}},"title":"On Breadth-first Context-free Grammars.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"3","pages":"129-135","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Makinen90","url":"https://dblp.org/rec/journals/eik/Makinen90"}, "url":"URL#6931061" }, { "@score":"1", "@id":"6931062", "info":{"authors":{"author":[{"@pid":"m/CMeinel","text":"Christoph Meinel"},{"@pid":"88/1762","text":"Lothar Budach"},{"@pid":"99/1833","text":"Frank Balfanz"},{"@pid":"90/1007","text":"Steffen Zahn"},{"@pid":"17/1251","text":"Peter Zienicke"}]},"title":"Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; I.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"7","pages":"389-414","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/MeinelBBZZ90","url":"https://dblp.org/rec/journals/eik/MeinelBBZZ90"}, "url":"URL#6931062" }, { "@score":"1", "@id":"6931063", "info":{"authors":{"author":[{"@pid":"m/CMeinel","text":"Christoph Meinel"},{"@pid":"88/1762","text":"Lothar Budach"},{"@pid":"99/1833","text":"Frank Balfanz"},{"@pid":"90/1007","text":"Steffen Zahn"},{"@pid":"17/1251","text":"Peter Zienicke"}]},"title":"Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; II.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"8/9","pages":"501-515","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/MeinelBBZZ90a","url":"https://dblp.org/rec/journals/eik/MeinelBBZZ90a"}, "url":"URL#6931063" }, { "@score":"1", "@id":"6931064", "info":{"authors":{"author":{"@pid":"81/54","text":"Elisabeth Pelz"}},"title":"Logic Versus Sequential and Concurrent Net Behaviour.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"8/9","pages":"461-472","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Pelz90","url":"https://dblp.org/rec/journals/eik/Pelz90"}, "url":"URL#6931064" }, { "@score":"1", "@id":"6931065", "info":{"authors":{"author":{"@pid":"29/1959","text":"Juraj Procházka"}},"title":"Systolic Systems for Polynomial GCD Computation.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"5-18","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Prochazka90","url":"https://dblp.org/rec/journals/eik/Prochazka90"}, "url":"URL#6931065" }, { "@score":"1", "@id":"6931066", "info":{"authors":{"author":{"@pid":"67/3878","text":"Bernd Reichel"}},"title":"Some Classifications of Indian Parallel Languages.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"85-99","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Reichel90","url":"https://dblp.org/rec/journals/eik/Reichel90"}, "url":"URL#6931066" }, { "@score":"1", "@id":"6931067", "info":{"authors":{"author":{"@pid":"68/1804","text":"Djamil Sarni"}},"title":"Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"3","pages":"169-187","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Sarni90","url":"https://dblp.org/rec/journals/eik/Sarni90"}, "url":"URL#6931067" }, { "@score":"1", "@id":"6931068", "info":{"authors":{"author":{"@pid":"26/1732","text":"Peter Schatte"}},"title":"On the Stochastic Behaviour of the Floating Point Mantissas of Sums.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"4","pages":"249-254","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Schatte90","url":"https://dblp.org/rec/journals/eik/Schatte90"}, "url":"URL#6931068" }, { "@score":"1", "@id":"6931069", "info":{"authors":{"author":{"@pid":"82/4313","text":"Dietmar Schweigert"}},"title":"Clone Homomorphisms and Reductions.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"4","pages":"239-247","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Schweigert90","url":"https://dblp.org/rec/journals/eik/Schweigert90"}, "url":"URL#6931069" }, { "@score":"1", "@id":"6931070", "info":{"authors":{"author":{"@pid":"79/4999","text":"Martin Sonntag"}},"title":"Hamiltonicity of the Normal Product of Hypergraphs.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"7","pages":"415-433","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Sonntag90","url":"https://dblp.org/rec/journals/eik/Sonntag90"}, "url":"URL#6931070" }, { "@score":"1", "@id":"6931071", "info":{"authors":{"author":{"@pid":"48/2024","text":"Gabriele Steidl"}},"title":"Existence and Construction of Self-complementary Normal Bases.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"11/12","pages":"643-651","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Steidl90","url":"https://dblp.org/rec/journals/eik/Steidl90"}, "url":"URL#6931071" }, { "@score":"1", "@id":"6931072", "info":{"authors":{"author":{"@pid":"s/MagnusSteinby","text":"Magnus Steinby"}},"title":"A Formal Theory of Errors in Tree Representations of Patterns.","venue":"J. Inf. Process. Cybern.","volume":"26","number":"1/2","pages":"19-32","year":"1990","type":"Journal Articles","access":"unavailable","key":"journals/eik/Steinby90","url":"https://dblp.org/rec/journals/eik/Steinby90"}, "url":"URL#6931072" } ] } } } )