Search results for "Extensions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Deependra Talla, Lizy Kurian John, Doug Burger	Bottlenecks in Multimedia Processing with SIMD Style Extensions and Architectural Enhancements.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	bottlenecks in SIMD extensions, hardware address generation, low-overhead looping, superscalar general-purpose processors, performance evaluation, workload characterization, subword parallelism, Media processing, data reorganization
46	Salvatore Greco, Benedetto Matarazzo, Roman Slowinski	Fuzzy Set Extensions of the Dominance-Based Rough Set Approach.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
46	Elsa L. Gunter	Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover.	ELP	1989	DBLP DOI BibTeX RDF
44	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger	Attribute Grammar-Based Language Extensions for Java.	ECOOP	2007	DBLP DOI BibTeX RDF
42	Tomi Janhunen	Capturing Stationary and Regular Extensions with Reiter's Extensions.	JELIA	2000	DBLP DOI BibTeX RDF
40	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell	Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.	SCAM	2006	DBLP DOI BibTeX RDF
40	Sarah George, Ingrid Zukerman, Michael Niemann	Inferences, suppositions and explanatory extensions in argument interpretation.	User Model. User Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Discourse interpretation, Suppositions, Explanatory extensions, Bayesian networks, Probabilistic approach
40	Stefan Tillich, Johann Großschädl	Instruction Set Extensions for Efficient AES Implementation on 32-bit Processors.	CHES	2006	DBLP DOI BibTeX RDF	embedded RISC processor, SPARC V8 architecture, Advanced Encryption Standard, instruction set extensions, efficient implementation
40	Antonio R. Garzón, A. del Río	Equivariant Extensions of Categorical Groups.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	monoidal groupoid, graded categorical group, equivariant cohomology, groups with operators, obstruction, extensions
37	Van-Nam Huynh, Tu Bao Ho, Yoshiteru Nakamori	An Overview on the Approximation Quality Based on Rough-Fuzzy Hybrids.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
36	Kees van Reeuwijk, Frits Kuijlman, Henk J. Sips	Spar: a set of extensions Java for scientific computation.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
36	Stefan Tillich, Johann Großschädl	Power Analysis Resistant AES Implementation with Instruction Set Extensions.	CHES	2007	DBLP DOI BibTeX RDF	embedded RISC processor, SPARC V8 architecture, SCA resistance, Advanced Encryption Standard, power analysis, instruction set extensions
36	Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj	On Testing Membership to Maximal Consistent Extensions of Information Systems.	RSCTC	2006	DBLP DOI BibTeX RDF	maximal consistent extensions, rough sets, information systems
36	Suman Mamidi, Emily R. Blem, Michael J. Schulte, C. John Glossner, Daniel Iancu, Andrei Iancu, Mayan Moudgill, Sanjay Jinturkar	Instruction set extensions for software defined radio on a multithreaded processor.	CASES	2005	DBLP DOI BibTeX RDF	convolutional encoding, multithreading, forward error correction, software defined radio, Reed-Solomon coding, instruction set extensions, digital signal processor, Viterbi decoding, turbo decoding
36	Stefan Tillich, Johann Großschädl	Accelerating AES Using Instruction Set Extensions for Elliptic Curve Cryptography.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	32-bit implementation, software acceleration, Advanced Encryption Standard, Rijndael, instruction set extensions
36	Manuel Bronstein, Ziming Li 0002, Min Wu 0003	Picard--Vessiot extensions for linear functional systems.	ISSAC	2005	DBLP DOI BibTeX RDF	Picard-Vessiot extensions, fundamental matrices, linear functional systems, modules of formal solutions
36	Sylvia Pulmannová	Extensions of MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Abelian partially ordered groups, Partially ordered partial abelian monoids, Riesz decomposition properties, Short exact sequences, Extensions, MV-algebras, Effect algebras
36	Philippe Baldy, Michel Morvan	Height Preserving Minimal Interval Extensions.	Order	2001	DBLP DOI BibTeX RDF	lattice of maximal antichains, minimal interval extensions, lattices, partially ordered sets, interval orders, height
36	Albert D. Alexandrov, Maximilian Ibel, Klaus E. Schauser, Chris J. Scheiman	UFO: A Personal Global File System Based on User-Level Extensions to the Operating System.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	global name space, proc file system, user-level operating system extensions, file caching
35	Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler	Xoc, an extension-oriented compiler for systems programming.	ASPLOS	2008	DBLP DOI BibTeX RDF	extension-oriented compilers
34	Jih-Ching Chiu, Yu-Liang Chou, Hua-Yi Tzeng	A multi-streaming SIMD architecture for multimedia applications.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	SIMD, streaming processing, streaming computing, processor-in-memory, mmx, multimedia extensions, pim
33	Guadalupe Carmona-Arroyo, Jenny Betsabé Vázquez Aguirre, Marcela Quiroz-Castellanos	One-Dimensional Bin Packing Problem: An Experimental Study of Instances Difficulty and Algorithms Performance.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Ivette Miramontes, Patricia Melin, Oscar R. Carvajal, German Prado-Arechiga	Optimization of Modular Neural Networks for the Diagnosis of Cardiovascular Risk.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Ruth Rodriguez, Claudia I. González, Gabriela E. Martinez, Patricia Melin	An Improved Convolutional Neural Network Based on a Parameter Modification of the Convolution Layer.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Yutzil Poma, Patricia Melin	Estimation of the Number of Filters in the Convolution Layers of a Convolutional Neural Network Using a Fuzzy Logic System.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Héctor Joaquín Fraire Huacuja, Javier Alberto Rangél González, Juan Frausto Solís, Marco Antonio Aguirre Lam, Lucila Morales Rodríguez, Juan Martín Carpio Valadez	Analysis of the Efficient Frontier of the Portfolio Selection Problem Instance of the Mexican Capital Market.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Marylu L. Lagunes, Oscar Castillo 0001, Fevrier Valdez, Jose Soria	Review of Hybrid Combinations of Metaheuristics for Problem Solving Optimization.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Fevrier Valdez, Juan Carlos Vázquez, Patricia Melin	A New Hybrid Method Based on ACO and PSO with Fuzzy Dynamic Parameter Adaptation for Modular Neural Networks Optimization.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Claudia Guadalupe Gómez Santillán, Alejandro Estrada Padilla, Héctor Joaquín Fraire Huacuja, Laura Cruz Reyes, Nelson Rangel-Valdez, María Lucila Morales-Rodríguez	Multi-objective Portfolio Optimization Problem with Trapezoidal Fuzzy Parameters.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Maribel Guerrero-Luis 0001, Fevrier Valdez, Oscar Castillo 0001	A Review on the Cuckoo Search Algorithm.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Héctor J. Fraire H., Eduardo Rodríguez, Alejandro Santiago Pineda	Multiobjective Algorithms Performance When Solving CEC09 Test Instances.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Jonathan Fregoso, Claudia I. González, Gabriela E. Martinez	Parameter Optimization of a Convolutional Neural Network Using Particle Swarm Optimization.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Anabel Martínez-Vargas, M. A. Cosío León, Andrés J. García-Pérez, Oscar Montiel	Performance Analysis of a Distributed Steady-State Genetic Algorithm Using Low-Power Computers.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Héctor Joaquín Fraire Huacuja, Miguel Ángel García Morales, Mario César López Locés, Claudia Guadalupe Gómez Santillán, Laura Cruz Reyes, María Lucila Morales-Rodríguez	Optimization of the Internet Shopping Problem with Shipping Costs.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Teodoro Eduardo Macias-Escobar, Laura Cruz Reyes, Bernabé Dorronsoro	A Study on the Use of Hyper-heuristics Based on Meta-Heuristics for Dynamic Optimization.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Cecilia Leal Ramírez, Héctor Echavarría-Heras	On the Adequacy of a Takagi-Sugeno-Kang Protocol as an Empirical Identification Tool for Sigmoidal Allometries in Geometrical Space.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Carlos Eric Llorente-Peralta, Laura Cruz Reyes, Rafael Alejandro Espín Andrade	Knowledge Discovery Using an Evolutionary Algorithm and Compensatory Fuzzy Logic.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Julio C. Mónica, Patricia Melin, Daniela Sánchez	Genetic Optimization of Ensemble Neural Network Architectures for Prediction of COVID-19 Confirmed and Death Cases.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Ulises Orozco-Rosas, Kenia Picos, Oscar Montiel, Oscar Castillo 0001	GPU Accelerated Membrane Evolutionary Artificial Potential Field for Mobile Robot Path Planning.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Francisco Fernández de Vega, Cayetano Cruz, Patricia Hernández Rondan, Mario García Valdez	Looking for Emotions in Evolutionary Art.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Lucio Amézquita, Oscar Castillo 0001, José Soria, Prometeo Cortés-Antonio	Optimization of Membership Function Parameters for Fuzzy Controllers in Cruise Control Problem Using the Multi-verse Optimizer.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Martha Pulido, Patricia Melin	Ensemble Recurrent Neural Networks for Complex Time Series Prediction with Integration Methods.	Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms	2021	DBLP DOI BibTeX RDF
33	Juris Steprans	History of the Continuum in the 20th Century.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	M. Randall Holmes, Thomas E. Forster, Thierry Libert	Alternative Set Theories.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Jean-Pierre Marquis, Gonzalo E. Reyes	The History of Categorical Logic: 1963-1977.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	John L. Bell	Types, Sets, and Categories.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Fairouz Kamareddine, Twan Laan, Robert L. Constable	Russell's Orders in Kripke's Theory of Truth and Computational Type Theory.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Akihiro Kanamori	Large Cardinals with Forcing.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Menachem Kojman	Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	William J. Mitchell 0002	Inner Models for Large Cardinals.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Jean A. Larson	Infinite Combinatorics.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Akihiro Kanamori	Set Theory from Cantor to Cohen.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Paul B. Larson	A Brief History of Determinacy.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
33	Glad Deschrijver, Etienne E. Kerre	Aggregation Operators in Interval-valued Fuzzy and Atanassov's Intuitionistic Fuzzy Set Theory.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Simon Coupland, Robert I. John	Type-2 Fuzzy Logic and the Modelling of Uncertainty.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Tomasa Calvo, Gleb Beliakov	Identification of Weights in Aggregation Operators.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Hamid R. Tizhoosh	Type II Fuzzy Image Segmentation.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Radko Mesiar, Anna Kolesárová, Tomasa Calvo, Magda Komorníková	A Review of Aggregation Functions.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Eric C. C. Tsang, Qingcai Chen, Suyun Zhao, Daniel S. Yeung, Xizhao Wang	Hybridization of Fuzzy and Rough Sets: Present and Future.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Gabriella Pasi	Fuzzy Sets in Information Retrieval: State of the Art and Research Trends.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Jie Lu 0001, Da Ruan 0001, Guangquan Zhang 0001	Fuzzy Set Techniques in E-Service Applications.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Krassimir T. Atanassov	My Personal View on Intuitionistic Fuzzy Sets Theory.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Marie-Jeanne Lesot, Maria Rifqi, Bernadette Bouchon-Meunier	Fuzzy Prototypes: From a Cognitive View to a Machine Learning Principle.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Vincenzo Loia, Mario Veniero	FIS2JADE: A New Vista for Fuzzy-oriented Agents.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Enrique Herrera-Viedma, Carlos Porcel, Antonio Gabriel López-Herrera, Sergio Alonso	A Fuzzy Linguistic Recommender System to Advice Research Resources in University Digital Libraries.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Ana del Amo, Daniel Gómez 0001, Javier Montero, Greg S. Biging	Improving Fuzzy Classification by Means of a Segmentation Algorithm.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Eyke Hüllermeier	Fuzzy Methods for Data Mining and Machine Learning: State ofthe Art and Prospects.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Bonifacio Llamazares, José Luis García-Lapresta	Extension of Some Voting Systems to the Field of GradualPreferences.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Hisao Ishibuchi, Yusuke Nojima	Pattern Classification with Linguistic Rules.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Luis Martínez-López 0001, Luis G. Pérez, Jun Liu 0001	A Linguistic Decision Based Model Applied to Olive Oil Sensory Evaluation.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Dietrich Van der Weken, Valérie De Witte, Mike Nachtegael, Stefan Schulte 0001, Etienne E. Kerre	Colour Image Comparison Using Vector Operators.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Jonathan Lawry	An Overview of Computing with Words using Label Semantics.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	José A. Olivas	Fuzzy Sets and Web Meta-search Engines.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Zeshui Xu	Linguistic Aggregation Operators: An Overview.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Gleb Beliakov, Tomasa Calvo	Interpolatory Type Construction of General Aggregation Operators.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Ricardo Alberto, Marques Pereira	Preferences and Consistency Issues in Group Decision Making.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Vicenç Torra	On the Construction of Models Based on Fuzzy Measures and Integrals.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Humberto Bustince Sola, Miguel Pagola, Pedro Melo-Pinto, Edurne Barrenechea Tartas, Pedro Couto	Image Threshold Computation by Modelizing Knowledge/Unknowledge by Means of Atanassov's Intuitionistic Fuzzy Sets.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	María José del Jesus, Pedro González 0001, Francisco Herrera	Subgroup Discovery with Linguistic Rules.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Tzung-Pei Hong, Yeong-Chyi Lee	An Overview of Mining Fuzzy Association Rules.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Janusz Kacprzyk, Slawomir Zadrozny, Mario Fedrizzi, Hannu Nurmi	On Group Decision Making, Consensus Reaching, Voting and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and some Perspectives.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF	Fuzzy majority, Fuzzy logic, Consensus, Group decision making, Social choice, Linguistic quantifier, Fuzzy preference relation
33	János C. Fodor, Bernard De Baets	Fuzzy Preference Modelling: Fundamentals and Recent Advances.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Eulalia Szmidt, Janusz Kacprzyk	Atanassov's Intuitionistic Fuzzy Sets as a Promising Tool for Extended Fuzzy Decision Making Models.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Pilar Sobrevilla, Eduard Montseny, Enrique Lerma	A Fuzzy-based Automated Cells Detection System for Color Pap Smear Tests --FACSDS-.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Tamalika Chaira	Fuzzy Measures in Image Processing.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
33	Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi (eds.)	ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Per Kreuger	A-Sufficient Substitutions in mixed Contents.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Lars Hallnäs, Per Kreuger	Partial Inductive Definitions (Tutorial).	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Peter J. Robinson 0001, John Staples, Anthony S. K. Cheng	Theorem Proving Applications for QU-Prolog.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Didier Galmiche	Canonical Proofs for Linear Logic Programming Frameworks.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Henning Christiansen 0001	On Proof Predicates in Logic Programming.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Integrating Reflection into SLD-Resolution.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	I. Stephan	An SLOU Prolog Interpreter.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Göran Falkman, Lars Hallnäs, Olof Torgersson	Program Separation in GCLA.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Francesca Arcelli, Ferrante Formato	Higher-Order Implementation of Program Transformations using Algebraic Specification.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Roy Dyckhoff, Natarajan Shankar	Proof Search (Tutorial).	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Matteo Baldoni, Laura Giordano 0001, Alberto Martelli	A Modal Extension of Logic Programming.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Natarajan Shankar	Using Proof Theory to Optimize Proof Search.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	R. S. Kemp, Graem A. Ringwood	Reynold and Heyling Models of Logic Programs.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
33	Roy Dyckhoff, Luís Pinto 0001	Uniform Proofs and Natural Deduction.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF