Search results for "Strong"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Emmanuel Polonowski	Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions.	FoSSaCS	2004	DBLP DOI BibTeX RDF
14	Takehiro Tawara, Karol Myszkowski, Hans-Peter Seidel	Efficient Rendering of Strong Secondary Lighting in Photon Mapping Algorithm.	TPCG	2004	DBLP DOI BibTeX RDF
14	Kentaro Kikuchi	A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.	FLOPS	2004	DBLP DOI BibTeX RDF
14	Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff	Checking Strong Specifications Using an Extensible Software Model Checking Framework.	TACAS	2004	DBLP DOI BibTeX RDF
14	Dejan R. Bojovic, Branislav Z. Popovic, Bosko S. Jovanovic	The Strong Stability of the Second-Order Operator-Differential Equations.	NAA	2004	DBLP DOI BibTeX RDF
14	Bruno Blanchet	Automatic Proof of Strong Secrecy for Security Protocols.	S&P	2004	DBLP DOI BibTeX RDF
14	Ronen Shaltiel	Towards proving strong direct product theorems.	Comput. Complex.	2003	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68Q17, 68Q15
14	André Seznec, Nicolas Sendrier	HAVEGE: A user-level software heuristic for generating empirically strong random numbers.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	hardware clock counters, Cryptography, random number generation, superscalar processor
14	Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen	Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation
14	Gérard Boudol	On Strong Normalization in the Intersection Type Discipline.	TLCA	2003	DBLP DOI BibTeX RDF
14	Mikhail Mikhailov, Craig E. Wills	Evaluating a new approach to strong web cache consistency with snapshots of collected content.	WWW	2003	DBLP DOI BibTeX RDF	change characteristics, collected content, object relationships, server invalidation, web caching, cache consistency, object composition
14	Daniel M. Dubois	Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations.	ABiALS	2003	DBLP DOI BibTeX RDF
14	João Saraiva, S. Doaitse Swierstra	Generating Spreadsheet-Like Tools from Strong Attribute Grammars.	GPCE	2003	DBLP DOI BibTeX RDF
14	Jong-hu Lee, Jae-Cheol Ryou 0001	Strong User Authentication in IEEE802.11 Wireless LAN.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
14	Marc Fischlin	The Cramer-Shoup Strong-RSASignature Scheme Revisited.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
14	Matthias Fitzi, Juan A. Garay	Efficient player-optimal protocols for strong and differential consensus.	PODC	2003	DBLP DOI BibTeX RDF
14	René David, Bruno Guillaume	Strong Normalization of the Typed gammaws-Calculus.	CSL	2003	DBLP DOI BibTeX RDF
14	Yingwu Zhu, Yiming Hu	SNARE: A Strong Security Scheme for Network-Attached Storage.	SRDS	2003	DBLP DOI BibTeX RDF
14	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
14	Loon-Been Chen, I-Chen Wu	An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Conjunctive predicate, distributed system, distributed debugging, global predicate detection
14	Magnus E. Bjornsson, Liuba Shrira	BuddyCache: high-performance object storage for collaborative strong-consistency applications in a WAN.	OOPSLA	2002	DBLP DOI BibTeX RDF	fine-grain sharing, object storage systems, fault-tolerance, transactions, wide-area network, cooperative caching
14	Quan Yuan, Wen Gao 0001, Hongxun Yao, Chunli Wang	Recognition of Strong and Weak Connection Models in Continuous Sign Language.	ICPR (1)	2002	DBLP DOI BibTeX RDF
14	Mahesh V. Joshi, Ramesh C. Agarwal, Vipin Kumar 0001	Predicting rare classes: can boosting make any weak learner strong?	KDD	2002	DBLP DOI BibTeX RDF	ANALYZE
14	Ron Steinfeld, Joonsang Baek, Yuliang Zheng 0001	On the Necessity of Strong Assumptions for the Security of a Class of Asymmetric Encryption Schemes.	ACISP	2002	DBLP DOI BibTeX RDF
14	James S. Pascoe, Vaidy S. Sunderam, Roger J. Loader	Working Towards Strong Wireless Group Communications: The Janus Architecture.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	Janus, preemptive adaptation, trouble spots, wireless networking, group communication, failure resilience
14	Aduri Pavan, Alan L. Selman	Bi-Immunity Separates Strong NP-Completeness Notions.	STACS	2002	DBLP DOI BibTeX RDF
14	José Crespo, Victor Maojo, José A. Sanandrés, Holger Billhardt	On the Strong Property of Connected Open-Close and Close-Open Filters.	DGCI	2002	DBLP DOI BibTeX RDF
14	K. Shum, Victor K. Wei	A Strong Proxy Signature Scheme with Proxy Signer Privacy Protection.	WETICE	2002	DBLP DOI BibTeX RDF
14	Dimitris A. Karras, Vasilios Zorkadis	Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Stream Ciphers, Secure Communications, Hopfield Neural Networks, Feed-forward Neural Networks, Pseudo Random Number Generators
14	Silvio Valentini	An elementary proof of strong normalization for intersection types.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Normalization, Lambda calculus, Intersection types
14	Lorenzo Bettini, Rocco De Nicola	Translating Strong Mobility into Weak Mobility.	Mobile Agents	2001	DBLP DOI BibTeX RDF
14	Peter Grünwald	Strong Entropy Concentration, Game Theory, and Algorithmic Randomness.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
14	Long Wang 0001	Composite Interval Control Systems: Some Strong Kharitonov-Like Properties.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
14	Tim Walsh, Paddy Nixon, Simon A. Dobson	As Strong as Possible Agent Mobility.	Agents Workshop on Infrastructure for Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
14	Michael Elkin, David Peleg	Strong Inapproximability of the Basic k-Spanner Problem.	ICALP	2000	DBLP DOI BibTeX RDF
14	Ueli M. Maurer, Stefan Wolf 0001	Information-Theoretic Key Agreement: From Weak to Strong Secrecy for Free.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
14	Tim Walsh, Paddy Nixon, Simon A. Dobson	As strong as possible mobility (poster).	ICSE	2000	DBLP DOI BibTeX RDF	Java
14	Michel Parigot	Strong Normalization of Second Order Symmetric lambda-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
14	Siguna Müller	A Note on Strong Dickson Pseudoprimes.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Carmichael numbers, Dickson pseudoprimes, Euler pseudoprimes, Carmichael Lucas pseudoprimes, Dickson polynomials, Lucas sequences, Primality testing
14	Fred B. Holt, Victor Klee	Counterexamples to the Strong d -Step Conjecture for d ge 5.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
14	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
14	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
14	Jerzy Stefanowski	Handling Continuous Attributes in Discovery of Strong Decision Rules.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
14	Kazumi Nakamatsu, Atsuyuki Suzuki	A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
14	Vijay K. Garg, Brian Waldecker	Detection of Strong Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Unstable predicates, distributed algorithms, distributed debugging, predicate detection
14	Ning Zhong 0001, Setsuo Ohsuga	A Multi-Step Process for Discovering, Managing and Refining Strong Functional Relations Hidden in Databases.	ISMIS	1996	DBLP DOI BibTeX RDF
14	Masahiko Sakai, Yoshihito Toyama	Semantics and Strong Sequentiality of Priority Term Rewriting Systems.	RTA	1996	DBLP DOI BibTeX RDF
14	Satoshi Okui, Aart Middeldorp, Tetsuo Ida	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
14	Véronique Bruyère, Clelia de Felice	Coding and Strong Coding in Trace Monoids.	STACS	1995	DBLP DOI BibTeX RDF
14	Pascal Fradet	Compilation of Head and Strong Reduction.	ESOP	1994	DBLP DOI BibTeX RDF
14	Frédéric Boniol, Martin Adelantado	Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.	WDAG	1993	DBLP DOI BibTeX RDF	Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
14	C.-H. Luke Ong, Eike Ritter	A Generic Strong Normalization Argument: Application to the Calculus of Constructions.	CSL	1993	DBLP DOI BibTeX RDF
14	Babak Sadeghiyan, Yuliang Zheng 0001, Josef Pieprzyk	How to Construct A Family of Strong One Way Permutations.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
14	Jin Wang, Verlynda Dobbs, Henry W. Davis	Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
13	Vinton G. Cerf	The Battle for Internet Openness.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	Open Internet, strong authentication, Internet policy, network security
13	Fengyuan Ren, Wanchun Jiang	Phase Plane Analysis of Congestion Control in Data Center Ethernet Networks.	ICDCS	2010	DBLP DOI BibTeX RDF	Data Center Ethernet, Backward Congestion Notification, Strong stability and Phase Trajectory
13	Weimao Ke, Javed Mostafa	Scalability of findability: effective and efficient IR operations in large information networks.	SIGIR	2010	DBLP DOI BibTeX RDF	clustering paradox, decentralized search, strong tie, weak tie, scalability, connectivity, distributed IR, network clustering
13	Sanatan Rai, George L. Vairaktarakis	NP-complete Problems and Proof Methodology.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polynomial time reduction, strong NP-completeness, ordinary NP-completeness, Computational complexity, Reducibility, NP-complete problem, NP-hard problem
13	Anna Nagurney	Variational Inequalities: Geometric Interpretation, Existence and Uniqueness.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Coercivity condition, Strict monotonicity, Strong monotonicity, Lipschitz continuity, Monotonicity, Geometric interpretation
13	Henry Wolkowicz	Duality for Semidefinite Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lagrangian duality, Strong and weak duality, Semidefinite programming, Convex programming, Constraint qualification, Complementarity
13	Lu-Chuan Ceng, Qamrul Hasan Ansari, Jen-Chih Yao	Viscosity approximation methods for generalized equilibrium problems and fixed point problems.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Viscosity approximation method, Generalized equilibrium problem, Nonexpansive mappings, Strong convergence, Fixed points
13	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
13	Ali Dasdan, Paolo D'Alberto, Santanu Kolay, Chris Drome	Automatic retrieval of similar content using search engine query interface.	CIKM	2009	DBLP DOI BibTeX RDF	strong query, coverage, random sampling, keyword extraction, query generation
13	Lin Hu, Wei Long, Zikun Nie	Development of PID Neural Network Control System for Temperature of Resistance Furnace.	IFITA (3)	2009	DBLP DOI BibTeX RDF	strong coupling, bogie-hearth resistance furnace, PID neural network
13	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
13	Itamar Francez	No i-Sums for Nissim (and Shalom).	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF	Donkey anaphora, E-type pronouns, strong and weak readings, i-sums
13	Jürgen Bierbrauer	New Commutative Semifields and Their Nuclei.	AAECC	2009	DBLP DOI BibTeX RDF	PN functions, planar functions, presemifields, semifields, middle nucleus, Dembowski-Ostrom polynomial, strong isotopy, kernel, isotopy
13	James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran	Merging Logic Programs under Answer Set Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	strong equivalence, answer set programming, belief merging
13	Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux	Time Arc Petri Nets and Their Analysis.	ACSD	2009	DBLP DOI BibTeX RDF	Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph
13	Yumei Huo, Joseph Y.-T. Leung, Xin Wang	Integrated Production and Delivery Scheduling with Disjoint Windows.	COCOA	2009	DBLP DOI BibTeX RDF	Perishable goods, Parallel and identical machines, NP-hard and strong NP-hard, Fully polynomial time approximation schemes, Single machine
13	Daniel Berend, Michael Segal 0001, Hanan Shpungin	Power efficient resilience and lifetime in wireless ad-hoc networks.	FOWANC	2008	DBLP DOI BibTeX RDF	strong connectivity, fault tolerance, wireless ad-hoc networks, topology control, energy consumption, network lifetime
13	Evangelia Pyrga, Saurabh Ray	New existence proofs epsilon-nets.	SCG	2008	DBLP DOI BibTeX RDF	strong ?-nets, discrete geometry, hitting sets, hypergraph transversals
13	Luis J. Rodríguez-Muñiz	A Note about Bobylev's Differential.	SMPS	2008	DBLP DOI BibTeX RDF	Bobylev differential, Fuzzy-valued mapping, Hukuhara derivative, s-Differential, Strong generalized differential
13	Pawel Terlecki, Krzysztof Walczak 0002	Efficient Discovery of Top-K Minimal Jumping Emerging Patterns.	RSCTC	2008	DBLP DOI BibTeX RDF	jumping emerging pattern, strong jumping emerging patterns, top-k most interesting patterns, CP-Tree, attribute set dependence, rough sets
13	Soumaya Marzouk, Mohamed Jmaiel	Towards Making WSRF Based Web Services Strongly Mobile.	WETICE	2008	DBLP DOI BibTeX RDF	strong mobility, stateful service, WSRF
13	Alexis Saurin	On the Relations between the Syntactic Theories of lambda-mu-Calculi.	CSL	2008	DBLP DOI BibTeX RDF	Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization
13	Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon 0002, Bratin Saha, Tatiana Shpeisman	Concurrent GC leveraging transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional integrity, virtual machines, transactional memory, compiler optimizations, concurrent garbage collection, strong atomicity
13	Thomas Eiter, Michael Fink 0001, Stefan Woltran	Semantical characterizations and complexity of equivalences in answer set programming.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
13	Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail 0001, Katarzyna E. Paluch 0001	Strongly stable matchings in time O(nm) and extension to the hospitals-residents problem.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	level maximal, Bipartite matching, strong stability, stable marriage
13	Lingchen Kong, Naihua Xiu	New smooth C-functions for symmetric cone complementarity problems.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Symmetric cone complementary problem, Jordan algebra, C-function, Strong semismoothness, Differentiability
13	Emil M. Constantinescu, Adrian Sandu	Multirate Timestepping Methods for Hyperbolic Conservation Laws.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Multirate time integration, Hyperbolic conservation laws, Nonlinear stability, Strong stability preservation
13	Pierre Crégut	Strongly reducing variants of the Krivine abstract machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Abstract machines, Strong normalization
13	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.	KES (2)	2007	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, traffic signal control, defeasible deontic reasoning
13	Antonia Azzini, Stefania Marrara, Roberto Sassi, Fabio Scotti	A Fuzzy Approach to Multimodal Biometric Authentication.	KES (2)	2007	DBLP DOI BibTeX RDF	Biometry, Strong Authentication, Security, Fuzzy System
13	Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng	EPLAS: An Epistemic Programming Language for All Scientists.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Computer-aided scientific discovery, Epistemic process, Strong relevant logic, Scientific methodology
13	Takahiro Matsuda 0002, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai	A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function.	ProvSec	2007	DBLP DOI BibTeX RDF	target collision resistant hash function, digital signature, standard model, strong unforgeability
13	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
13	Robert I. Soare	Computability and Incomputability.	CiE	2007	DBLP DOI BibTeX RDF	Turing a-machine, Church-Turing Thesis, Kurt Gödel, Turing o-machine, computable approximations, effectively continuous functions on reals, computability in analysis, strong reducibilities reexamined, computability, Alan Turing
13	Yang Xiao 0001, Hui Chen 0001	Optimal Callback with Two-Level Adaptation for Wireless Data Access.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	wireless data access, Adaptive, cache, strong consistency, callback
13	Jung-Heum Park, Hee-Chul Kim, Hyeong-Seok Lim	Many-to-Many Disjoint Path Covers in Hypercube-Like Interconnection Networks with Faulty Elements.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	fault-Hamiltonicity, strong Hamiltonicity, recursive circulants, restricted HL-graphs, Fault tolerance, graph theory, embedding, network topology
13	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
13	Dror Weitz	Counting independent sets up to the tree threshold.	STOC	2006	DBLP DOI BibTeX RDF	Glauber dynamics, hard-core model, strong spatial mixing, independent sets, approximate counting
13	Sergei P. Odintsov	The Class of Extensions of Nelson's Paraconsistent Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	N4-lattice, lattice of logics, paraconsistent logic, strong negation
13	Inmaculada Higueras	Monotonicity for Runge-Kutta Methods: Inner Product Norms.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	coercive problems, monotonicity, Runge-Kutta methods, SSP, strong stability
13	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
13	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil	A Temporal Logic for Input Output Symbolic Transition Systems.	APSEC	2005	DBLP DOI BibTeX RDF	input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
13	Nishith Krishna, Marc Shapiro 0001, Karthikeyan Bhargavan	Brief announcement: exploring the consistency problem space.	PODC	2005	DBLP DOI BibTeX RDF	pessimistic replication, semantic consistency, consistency, replicated data, optimistic replication, weak consistency, strong consistency, partial replication
13	I. Abdeljaouad-Tej, Sébastien Orange, Guénaël Renault, Annick Valibouze	Computation of the Decomposition Group of a Triangular Ideal.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Triangular Ideal, Strong Generating Set
13	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	universal termination, bounded nondeterminism, strong termination, logic programming
13	Peter Burmeister	Algebraic theory of quasivarieties of heterogeneous partial algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety